if (!(event.getButton() == MouseEvent.BUTTON1)) return; setDot(textComponent.viewToModel(event.getPoint()));
positionCaret(event);
  public void mousePressed(MouseEvent event)  {    // FIXME: Implement this properly.    if (!(event.getButton() == MouseEvent.BUTTON1))      return;    setDot(textComponent.viewToModel(event.getPoint()));  }