/** Formats the selected text. */ public final void format() { final int caret = editor.pos(); if (editor.format(rend.getSyntax())) hist.store(editor.text(), caret, editor.pos()); scrollCode.invokeLater(true); }