--- a/dwtx/jface/preference/PreferenceDialog.d	Sun Jun 22 22:57:31 2008 +0200
+++ b/dwtx/jface/preference/PreferenceDialog.d	Sun Jul 06 23:30:07 2008 +0200
@@ -737,15 +737,21 @@
             public void selectionChanged(SelectionChangedEvent event) {
                 Object selection = cast(Object) getSingleSelection(event.getSelection());
                 if (cast(IPreferenceNode)selection ) {
-                    if (!isCurrentPageValid()) {
-                        handleError();
-                    } else if (!showPage(cast(IPreferenceNode) selection)) {
-                        // Page flipping wasn't successful
-                        handleError();
-                    } else {
-                        // Everything went well
-                        lastSuccessfulNode = cast(IPreferenceNode) selection;
-                    }
+                    BusyIndicator.showWhile(getShell().getDisplay(), new class(selection) Runnable {
+                        Object selection_;
+                        this(Object o){ selection_=o; }
+                        public void run() {
+                            if (!isCurrentPageValid()) {
+                                handleError();
+                            } else if (!showPage(cast(IPreferenceNode) selection_)) {
+                                // Page flipping wasn't successful
+                                handleError();
+                            } else {
+                                // Everything went well
+                                lastSuccessfulNode = cast(IPreferenceNode) selection_;
+                            }
+                        }
+                    });
                 }
             }
         });