void setCutText(String text) { selection = text; textArea.setText(text); if (isVisible()) { textArea.selectAll(); } }
/** Returns the contents of the next textarea. */ public String getNextText() { String text; if (textAreaIndex == 0 && textArea1 != null) { // textArea1.selectAll(); text = textArea1.getText(); textAreaIndex++; if (macro) text = Macro.getValue(macroOptions, "text1", text); if (recorderOn) { String text2 = text; String cmd = Recorder.getCommand(); if (cmd != null && cmd.equals("Convolve...")) { text2 = text.replaceAll("\n", "\\\\n"); if (!text.endsWith("\n")) text2 = text2 + "\\n"; } else text2 = text.replace('\n', ' '); Recorder.recordOption("text1", text2); } } else if (textAreaIndex == 1 && textArea2 != null) { textArea2.selectAll(); text = textArea2.getText(); textAreaIndex++; if (macro) text = Macro.getValue(macroOptions, "text2", text); if (recorderOn) Recorder.recordOption("text2", text.replace('\n', ' ')); } else text = null; return text; }
/** Method declaration */ void updateResult() { if (iResult == 0) { // in case 'help' has removed the grid if (bHelp) { pResult.removeAll(); pResult.add("Center", gResult); pResult.doLayout(); bHelp = false; } gResult.update(); gResult.repaint(); } else { showResultInText(); } txtCommand.selectAll(); txtCommand.requestFocus(); }