Esempio n. 1
0
  /* 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);
  }