// {{{ userInput() method
protected void userInput(char ch) {
lastActionCount = 0;
JEditTextArea textArea = view.getTextArea();
/* Buffer buffer = view.getBuffer();
if(!buffer.insideCompoundEdit())
buffer.beginCompoundEdit(); */
if (repeatCount == 1) textArea.userInput(ch);
else {
// stop people doing dumb stuff like C+ENTER 100 C+n
if (repeatCount > REPEAT_COUNT_THRESHOLD) {
Object[] pp = {String.valueOf(ch), repeatCount};
if (GUIUtilities.confirm(
view,
"large-repeat-count.user-input",
pp,
JOptionPane.WARNING_MESSAGE,
JOptionPane.YES_NO_OPTION)
!= JOptionPane.YES_OPTION) {
repeatCount = 1;
view.getStatus().setMessage(null);
return;
}
}
JEditBuffer buffer = view.getBuffer();
try {
if (repeatCount != 1) buffer.beginCompoundEdit();
for (int i = 0; i < repeatCount; i++) textArea.userInput(ch);
} finally {
if (repeatCount != 1) buffer.endCompoundEdit();
}
}
Macros.Recorder recorder = view.getMacroRecorder();
if (recorder != null) {
recorder.recordInput(repeatCount, ch, textArea.isOverwriteEnabled());
}
repeatCount = 1;
} // }}}
// {{{ invokeReadNextChar() method
protected void invokeReadNextChar(char ch) {
JEditBuffer buffer = view.getBuffer();
/* if(buffer.insideCompoundEdit())
buffer.endCompoundEdit(); */
String charStr = StandardUtilities.charsToEscapes(String.valueOf(ch));
// this might be a bit slow if __char__ occurs a lot
int index;
while ((index = readNextChar.indexOf("__char__")) != -1) {
readNextChar =
readNextChar.substring(0, index)
+ '\''
+ charStr
+ '\''
+ readNextChar.substring(index + 8);
}
Macros.Recorder recorder = view.getMacroRecorder();
if (recorder != null) recorder.record(getRepeatCount(), readNextChar);
view.getStatus().setMessage(null);
if (getRepeatCount() != 1) {
try {
buffer.beginCompoundEdit();
BeanShell.eval(
view,
BeanShell.getNameSpace(),
"for(int i = 1; i < " + getRepeatCount() + "; i++)\n{\n" + readNextChar + "\n}");
} finally {
buffer.endCompoundEdit();
}
} else BeanShell.eval(view, BeanShell.getNameSpace(), readNextChar);
readNextChar = null;
} // }}}