@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); } };