/** * Removes all contribution nodes known to this manager. */ public void removeAll() { root = new PreferenceNode("");//$NON-NLS-1$ } }
/** * Creates a new preference manager with the given * path separator. * * @param separatorChar */ public PreferenceManager(final char separatorChar) { this(separatorChar, new PreferenceNode(ROOT_NODE_ID)); }
/** * Creates a new preference manager. */ public PreferenceManager() { this('.', new PreferenceNode(ROOT_NODE_ID)); }
/** * Creates a new preference manager with the given * path separator. * * @param separatorChar */ public PreferenceManager(final char separatorChar) { this(separatorChar, new PreferenceNode(ROOT_NODE_ID)); }
/** * Creates a new preference manager with the given * path separator. * * @param separatorChar */ public PreferenceManager(final char separatorChar) { this(separatorChar, new PreferenceNode(ROOT_NODE_ID)); }
/** * Removes all contribution nodes known to this manager. */ public void removeAll() { root = new PreferenceNode("");//$NON-NLS-1$ } }
/** * Creates a new preference manager. */ public PreferenceManager() { this('.', new PreferenceNode(ROOT_NODE_ID)); }
/** * Removes all contribution nodes known to this manager. */ public void removeAll() { root = new PreferenceNode("");//$NON-NLS-1$ } }
/** * Creates a new preference manager. */ public PreferenceManager() { this('.', new PreferenceNode(ROOT_NODE_ID)); }
GroupedProperty groupedProperty = (GroupedProperty) property; GroupedPropertyPreferencePage preferencePage = new GroupedPropertyPreferencePage(groupedProperty); PreferenceNode preferenceNode = new PreferenceNode(groupedProperty.getName(), preferencePage); subNodes.add(preferenceNode); } else if (property instanceof SingleProperty<?>) { PreferenceNode preferenceNode = new PreferenceNode(section.getName(), preferencePage); preferenceManager.addToRoot(preferenceNode);
@Override public void run(IAction action) { PreferenceManager prefManager = new PreferenceManager(); ResetMemoryBlockPreferencePage page = new ResetMemoryBlockPreferencePage(); IPreferenceNode node = new PreferenceNode("org.eclipse.debug.ui.memory.resetMemoryBlock", page); //$NON-NLS-1$ prefManager.addToRoot(node); SetPaddedStringPreferencePage page2 = new SetPaddedStringPreferencePage(); IPreferenceNode node2 = new PreferenceNode("org.eclipse.debug.ui.memory.setPaddedString", page2); //$NON-NLS-1$ prefManager.addToRoot(node2); CodePagesPreferencePage page3 = new CodePagesPreferencePage(); IPreferenceNode node3 = new PreferenceNode("org.eclipse.debug.ui.memory.codePages", page3); //$NON-NLS-1$ prefManager.addToRoot(node3); final PreferenceDialog dialog = new PreferenceDialog(DebugUIPlugin.getShell(), prefManager); BusyIndicator.showWhile(DebugUIPlugin.getStandardDisplay(), () -> { dialog.create(); dialog.open(); }); }
/** * Displays the given preference page. * * @param id pref page id * @param page pref page * @deprecated use <code>JDIDebugUIPlugin#showPreferencePage(String pageId)</code>, which uses the <code>PreferenceUtils</code> framework for opening pages. */ public static void showPreferencePage(String id, IPreferencePage page) { final IPreferenceNode targetNode = new PreferenceNode(id, page); PreferenceManager manager = new PreferenceManager(); manager.addToRoot(targetNode); final PreferenceDialog dialog = new PreferenceDialog(JDIDebugUIPlugin.getActiveWorkbenchShell(), manager); final boolean [] result = new boolean[] { false }; BusyIndicator.showWhile(JDIDebugUIPlugin.getStandardDisplay(), new Runnable() { public void run() { dialog.create(); dialog.setMessage(targetNode.getLabelText()); result[0]= (dialog.open() == Window.OK); } }); }
protected void showPreferencePage(String id, IPreferencePage page) { final IPreferenceNode targetNode = new PreferenceNode(id, page); PreferenceManager manager = new PreferenceManager(); manager.addToRoot(targetNode); final PreferenceDialog dialog = new PreferenceDialog(DebugUIPlugin.getShell(), manager); final boolean [] result = new boolean[] { false }; BusyIndicator.showWhile(DebugUIPlugin.getStandardDisplay(), () -> { dialog.create(); dialog.setMessage(targetNode.getLabelText()); result[0] = (dialog.open() == Window.OK); }); }
/** * Show a single preference pages * * @param id * - the preference page identification * @param page * - the preference page */ protected void showPreferencePage(String id, IPreferencePage page) { final IPreferenceNode targetNode = new PreferenceNode(id, page); PreferenceManager manager = new PreferenceManager(); manager.addToRoot(targetNode); final PreferenceDialog dialog = new PreferenceDialog(getControl() .getShell(), manager); BusyIndicator.showWhile(getControl().getDisplay(), new Runnable() { public void run() { dialog.create(); dialog.setMessage(targetNode.getLabelText()); dialog.open(); } }); }
/** * Shows the string variables preference page and returns <code>true</code> if OK was pressed. * * @return whether OK was pressed */ private boolean showVariablesPage() { StringVariablePreferencePage page = new StringVariablePreferencePage(); page.setTitle(StringSubstitutionMessages.StringVariableSelectionDialog_1); final IPreferenceNode targetNode = new PreferenceNode("org.eclipse.debug.ui.StringVariablePreferencePage", page); //$NON-NLS-1$ PreferenceManager manager = new PreferenceManager(); manager.addToRoot(targetNode); final PreferenceDialog dialog = new PreferenceDialog(DebugUIPlugin.getShell(), manager); final boolean [] result = new boolean[] { false }; BusyIndicator.showWhile(DebugUIPlugin.getStandardDisplay(), () -> { dialog.create(); dialog.setMessage(targetNode.getLabelText()); result[0] = (dialog.open() == Window.OK); }); return result[0]; }
@Override public void run() { super.run(); ISelection sel = new StructuredSelection(new AnnotationTypeNode(editor, null)); PropertyPage page = new EditorAnnotationPropertyPage(); page.setElement(new AnnotationTypeNode(editor, null)); page.setTitle("Styles"); PreferenceManager mgr = new PreferenceManager(); IPreferenceNode node = new PreferenceNode("1", page); mgr.addToRoot(node); PropertyDialog dialog = new PropertyDialog(getSite().getShell(), mgr, sel); dialog.create(); dialog.setMessage(page.getTitle()); dialog.open(); } };