commit ef3248635a80d76758b6b79a61dd037ba0405d4d
author Stephan Herrmann <stephan@cs.tu-berlin.de> Thu Nov 25 16:54:17 2010 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> Thu Nov 25 16:54:17 2010 +0000
tree 3740d32b95752c6019c03e56e8770ea3cb8a1093
parent e17b7fc04e28903c87495eef2baeef64ec9c47f6

avoid one access to internal (Workbench)

plugins/org.eclipse.objectteams.otdt.debug.ui/src/org/eclipse/objectteams/otdt/debug/ui/internal/preferences/OTDebugPreferencePage.java

diff --git a/plugins/org.eclipse.objectteams.otdt.debug.ui/src/org/eclipse/objectteams/otdt/debug/ui/internal/preferences/OTDebugPreferencePage.java b/plugins/org.eclipse.objectteams.otdt.debug.ui/src/org/eclipse/objectteams/otdt/debug/ui/internal/preferences/OTDebugPreferencePage.java
index 1b395b3..14f42f8 100644
--- a/plugins/org.eclipse.objectteams.otdt.debug.ui/src/org/eclipse/objectteams/otdt/debug/ui/internal/preferences/OTDebugPreferencePage.java
+++ b/plugins/org.eclipse.objectteams.otdt.debug.ui/src/org/eclipse/objectteams/otdt/debug/ui/internal/preferences/OTDebugPreferencePage.java
@@ -49,7 +49,7 @@
 import org.eclipse.swt.widgets.Label;
 import org.eclipse.ui.IWorkbench;
 import org.eclipse.ui.IWorkbenchPreferencePage;
-import org.eclipse.ui.internal.Workbench;
+import org.eclipse.ui.PlatformUI;
 
 /**
  * @author gis, stephan
@@ -183,7 +183,7 @@
     
     private void updateStepFilteringPrefPage()
     {
-        List prefs = Workbench.getInstance().getPreferenceManager().getElements(PreferenceManager.PRE_ORDER);
+        List prefs = PlatformUI.getWorkbench().getPreferenceManager().getElements(PreferenceManager.PRE_ORDER);
 		for (Iterator iter = prefs.iterator(); iter.hasNext();)
         {
             PreferenceNode node = (PreferenceNode) iter.next();