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"));
 }