@Override public void mouseDown(MouseEvent event) { int lineNumber; if (isPropagatingMouseListener()) { fParentRuler.setLocationOfLastMouseButtonActivity(event.x, event.y); lineNumber= fParentRuler.getLineOfLastMouseButtonActivity(); } else lineNumber= fParentRuler.toDocumentLineNumber(event.y); if (1 == event.button) AnnotationRulerColumn.this.mouseDown(lineNumber); }
@Override public void mouseDown(MouseEvent event) { int lineNumber; if (isPropagatingMouseListener()) { fParentRuler.setLocationOfLastMouseButtonActivity(event.x, event.y); lineNumber= fParentRuler.getLineOfLastMouseButtonActivity(); } else lineNumber= fParentRuler.toDocumentLineNumber(event.y); if (1 == event.button) AnnotationRulerColumn.this.mouseDown(lineNumber); }