/* Called when a menu item clicked */ @Override public boolean onMenuItemSelected(int featureId, MenuItem item) { switch (item.getItemId()) { case SAVE_MENU: saveEditorScript(); return true; case RUN_MENU: runEditorScript(); return true; case NEW_MENU: editScript(Script.UNTITLED_RB, true); return true; case HISTORY_MENU: editScript(new Script(Script.UNTITLED_RB, irbInput.getHistoryString()), true); return true; case RESCAN_MENU: scanScripts(); tabs.setCurrentTab(SCRIPTS_TAB); return true; } return super.onMenuItemSelected(featureId, item); }