Method select

basex-core/src/main/java/org/basex/gui/text/TextPanel.java:501–504

Selects the text at the specified position. @param point mouse position @param start states if selection has just been started

(final Point point, final boolean start)

   * @param start states if selection has just been started
   */
  private void select(final Point point, final boolean start) {
    editor.select(rend.jump(point).pos(), start);
    rend.repaint();
  }

  // KEY INTERACTIONS ===========================================================================