/** Adds or removes a comment. */
public final void comment() {
final int caret = editor.pos();
if (editor.comment(rend.getSyntax())) hist.store(editor.text(), caret, editor.pos());
scrollCode.invokeLater(true);
}
/** Adds or removes a comment. */
public final void comment() {
final int caret = editor.pos();
if (editor.comment(rend.getSyntax())) hist.store(editor.text(), caret, editor.pos());
scrollCode.invokeLater(true);
}