Beispiel #1
0
 /**
  * Jumps to the current, next or previous search string.
  *
  * @param dir search direction
  * @param select select hit
  */
 protected final void jump(final SearchDir dir, final boolean select) {
   // updates the visible area
   final int y = rend.jump(dir, select);
   final int h = getHeight();
   final int p = scroll.pos();
   final int m = y + rend.fontHeight() * 3 - h;
   if (y != -1 && (p < m || p > y)) scroll.pos(y - h / 2);
   rend.repaint();
 }
Beispiel #2
0
  @Override
  public void mouseReleased(final MouseEvent e) {
    if (linkListener == null) return;

    if (SwingUtilities.isLeftMouseButton(e)) {
      editor.endSelection();
      // evaluate link
      if (!editor.selected()) {
        final TextIterator iter = rend.jump(e.getPoint());
        final String link = iter.link();
        if (link != null) linkListener.linkClicked(link);
      }
    }
  }
Beispiel #3
0
 /**
  * Selects the text at the specified position.
  *
  * @param point mouse position
  * @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();
 }
Beispiel #4
0
 @Override
 public final void mouseMoved(final MouseEvent e) {
   if (linkListener == null) return;
   final TextIterator iter = rend.jump(e.getPoint());
   gui.cursor(iter.link() != null ? CURSORHAND : CURSORARROW);
 }