Method toCase

basex-core/src/main/java/org/basex/gui/text/TextPanel.java:303–307

Case conversion. @param cs case type

(final Case cs)

   * @param cs case type
   */
  public final void toCase(final Case cs) {
    final int caret = editor.pos();
    if(editor.toCase(cs)) hist.store(editor.text(), caret, editor.pos());
    computeHeight.invokeLater(true);
  }

  /**
   * Jumps to a matching bracket.