/** Sorts text. */ public final void sort() { final int caret = editor.pos(); final DialogSort ds = new DialogSort(gui); if (!ds.ok() || !editor.sort()) return; hist.store(editor.text(), caret, editor.pos()); scrollCode.invokeLater(true); repaint(); }