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_;