Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- table.addSelectionListener( new SelectionAdapter() {
- private TableItem currentSelection;
- private boolean ignoreEvent;
- public void widgetSelected( SelectionEvent event ) {
- if( !ignoreEvent ) {
- if( currentSelection == event.item ) {
- ignoreEvent = true;
- table.deselect( table.indexOf( ( TableItem )event.item ) );
- ignoreEvent = false;
- }
- currentSelection = ( TableItem )event.item;
- }
- }
- } );
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement