Mercurial > projects > dwt-addons
comparison dwtx/jface/preference/PreferenceDialog.d @ 90:7ffeace6c47f
Update 3.4M7 to 3.4
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sun, 06 Jul 2008 23:30:07 +0200 |
parents | 5df4896124c7 |
children | 04b47443bb01 |
comparison
equal
deleted
inserted
replaced
89:040da1cb0d76 | 90:7ffeace6c47f |
---|---|
735 } | 735 } |
736 | 736 |
737 public void selectionChanged(SelectionChangedEvent event) { | 737 public void selectionChanged(SelectionChangedEvent event) { |
738 Object selection = cast(Object) getSingleSelection(event.getSelection()); | 738 Object selection = cast(Object) getSingleSelection(event.getSelection()); |
739 if (cast(IPreferenceNode)selection ) { | 739 if (cast(IPreferenceNode)selection ) { |
740 if (!isCurrentPageValid()) { | 740 BusyIndicator.showWhile(getShell().getDisplay(), new class(selection) Runnable { |
741 handleError(); | 741 Object selection_; |
742 } else if (!showPage(cast(IPreferenceNode) selection)) { | 742 this(Object o){ selection_=o; } |
743 // Page flipping wasn't successful | 743 public void run() { |
744 handleError(); | 744 if (!isCurrentPageValid()) { |
745 } else { | 745 handleError(); |
746 // Everything went well | 746 } else if (!showPage(cast(IPreferenceNode) selection_)) { |
747 lastSuccessfulNode = cast(IPreferenceNode) selection; | 747 // Page flipping wasn't successful |
748 } | 748 handleError(); |
749 } else { | |
750 // Everything went well | |
751 lastSuccessfulNode = cast(IPreferenceNode) selection_; | |
752 } | |
753 } | |
754 }); | |
749 } | 755 } |
750 } | 756 } |
751 }); | 757 }); |
752 (cast(Tree) viewer.getControl()).addSelectionListener(new class(viewer) SelectionAdapter { | 758 (cast(Tree) viewer.getControl()).addSelectionListener(new class(viewer) SelectionAdapter { |
753 TreeViewer viewer_; | 759 TreeViewer viewer_; |