public void run(IAction action) { GrxPluginManager manager_ = Activator.getDefault().manager_; GrxJythonPromptView jythonView = (GrxJythonPromptView) manager_.getView(GrxJythonPromptView.class, false); if (jythonView == null) { IWorkbench workbench = PlatformUI.getWorkbench(); IWorkbenchWindow window = workbench.getActiveWorkbenchWindow(); IWorkbenchPage page = window.getActivePage(); try { page.showView( "com.generalrobotix.ui.view.GrxJythonPromptViewPart", null, IWorkbenchPage.VIEW_CREATE); } catch (PartInitException e1) { e1.printStackTrace(); } jythonView = (GrxJythonPromptView) manager_.getView(GrxJythonPromptView.class, true); } if (jythonView.getEnabledExecBtn()) jythonView.selectExecBtn(); }
public void updateTableFont() { viewer_.getTable().setFont(Activator.getDefault().getFont("preference_table")); }