107108109110111112113114115116117
} getSelection().replace(paragraph); } else { displayText(m, false); } m.cancelAndClear(); modes.getMathCollection().updateUndoStack(); } private void displayText(Message message, boolean showCursor) { // TODO: call getMessage() internally. /*-