/** * ************************************************************************* Callback for key * release event. Used for command processing. * * @param e Key release event * ************************************************************************ */ public void keyReleased(KeyEvent e) { // Check if the key code corresponds to one of the two enter keys. if (e.keyCode == 13 || e.keyCode == 16777296) { // Obtain the contents of the input field String cmdString = m_prompt.getValue(); try { // Add the text to the display, reset the prompt, and // send the command string to the shell manager if (!s_smgr.haveShell()) { addDisplayMessage("No shell plugin available."); return; } addDisplayMessage(m_prompt.getPrompt() + PromptField.PROMPT_SYMBOL + cmdString); s_smgr.shellInput(cmdString); } catch (CommandFailed ex) { // If the console manager raises an error show it on the // display addDisplayMessage("ERROR (" + m_prompt.getPrompt() + "): " + ex.getLocalizedMessage()); } m_prompt.reset(); } }