PreferencesViewer
ApplicationPreferences
111112113114115116117118119120121
} private void initPulldownMenu() { IMenuManager menuMgr = getViewSite().getActionBars().getMenuManager(); menuMgr.add(clearAllAction); menuMgr.add(new ViewPreferencesAction() { /* * (non-Javadoc) * * @see org.eclipse.ui.internal.preferences.ViewPreferencesAction#openViewPreferencesDialog() */
2425262728293031323334
this.appWin = appWin; } @Override public void execute(String[] params) throws CommandException { ViewPreferencesAction action = new ViewPreferencesAction(appWin); if (params.length > 0) { action.setInitialPath(params); } ActionUtils.run(action, this, "prefs"); }
60616263646566676869
return menu; } private Action createPreferencesAction() { ApplicationWindow appWin = controller.getView().getWindow(); ViewPreferencesAction action = new ViewPreferencesAction(appWin); action.putValue(Action.ACCELERATOR_KEY, null); action.setInitialPath(OperationGraphPreferencesPage.PATH()); return action; }