Method comment

basex-core/src/main/java/org/basex/gui/text/TextPanel.java:293–297

Adds or removes a comment.

()

   * 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());
    computeHeight.invokeLater(true);
  }

  /**
   * Case conversion.