Searched refs:EXTRA_INTERPRETER_NAME (Results 1 – 6 of 6) sorted by relevance
56 String EXTRA_INTERPRETER_NAME = field
87 intent.putExtra(Constants.EXTRA_INTERPRETER_NAME, interpreterName); in buildStartInterpreterIntent()
37 interpreterName = intent.getStringExtra(Constants.EXTRA_INTERPRETER_NAME); in launchInterpreter()
177 intent.putExtra(Constants.EXTRA_INTERPRETER_NAME, interpreter.getName()); in launchTerminal()
274 config.getInterpreterByName(getIntent().getStringExtra(Constants.EXTRA_INTERPRETER_NAME)); in insertText()
217 intent.putExtra(Constants.EXTRA_INTERPRETER_NAME, in onOptionsItemSelected()