147148149150151152153154155156157
if (!ok) return; if (replacement!=null) { s.replace(replacement); } if (relative==RELATIVE_EDIT) { s.prependNewChild(); } else { c.selectInOrOutLeft(); setMessage(current.toString()); } break;
335336337338339340341342343344345
boolean ok = current.isBranch() || s.variableTokenToBranch(knownArguments); if (!ok) return; if (replacement!=null) { s.replace(replacement); } s.prependNewChild(); clear(); } public void updateMessage(KeyPress keyPress, boolean textMode) { char character = keyPress.getChar();