// {{{ record() method
private static void record(
View view, String action, boolean replaceAction, boolean recordFileSet) {
Macros.Recorder recorder = view.getMacroRecorder();
if (recorder != null) {
recorder.record(
"SearchAndReplace.setSearchString(\""
+ StandardUtilities.charsToEscapes(search)
+ "\");");
if (replaceAction) {
recorder.record(
"SearchAndReplace.setReplaceString(\""
+ StandardUtilities.charsToEscapes(replace)
+ "\");");
recorder.record("SearchAndReplace.setBeanShellReplace(" + beanshell + ");");
} else {
// only record this if doing a find next
recorder.record("SearchAndReplace.setAutoWrapAround(" + wrap + ");");
recorder.record("SearchAndReplace.setReverseSearch(" + reverse + ");");
}
recorder.record("SearchAndReplace.setWholeWord(" + wholeWord + ");");
recorder.record("SearchAndReplace.setIgnoreCase(" + ignoreCase + ");");
recorder.record("SearchAndReplace.setRegexp(" + regexp + ");");
if (recordFileSet) {
recorder.record("SearchAndReplace.setSearchFileSet(" + fileset.getCode() + ");");
}
recorder.record("SearchAndReplace." + action + ';');
}
} // }}}
// {{{ 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;
} // }}}
/**
* Escapes characters with special meaning in a regexp.
*
* @param str the string to escape
* @param multiline Should \n be escaped?
* @return the string with escaped characters
* @since jEdit 4.3pre1
*/
public static String escapeRegexp(String str, boolean multiline) {
return StandardUtilities.charsToEscapes(str, "\r\t\\()[]{}$^*+?|." + (multiline ? "" : "\n"));
} // }}}