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