@Override public void addMouseListener(MouseListener listener) { if (isPropagatingMouseListener() || listener == fMouseListener) super.addMouseListener(listener); } };
@Override public void addMouseListener(MouseListener listener) { if (isPropagatingMouseListener() || listener == fMouseListener) super.addMouseListener(listener); } };
@Override public void mouseDoubleClick(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) mouseDoubleClicked(lineNumber); } };
@Override public void mouseDoubleClick(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) mouseDoubleClicked(lineNumber); } };
@Override public void mouseUp(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) mouseClicked(lineNumber); }
@Override public void mouseUp(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) mouseClicked(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); }
@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); }