/** 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();
}
