FIX: could not set breakpoint by clicking on line number in debugger

mozilla · Aug 8, 2023 · c9b9416 · c9b9416
1 parent ff29b02
commit c9b9416
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/toolsrc/org/mozilla/javascript/tools/debugger/SwingGui.java b/toolsrc/org/mozilla/javascript/tools/debugger/SwingGui.java
@@ -1864,7 +1864,7 @@ public void mouseExited(MouseEvent e) {}
     /** Called when a mouse button is released. */
     @Override
     public void mouseReleased(MouseEvent e) {
-        if (e.getComponent() == this && (e.getModifiersEx() & MouseEvent.BUTTON1_DOWN_MASK) != 0) {
+        if (e.getComponent() == this && e.getButton() == MouseEvent.BUTTON1) {
             int y = e.getY();
             Font font = fileWindow.textArea.getFont();
             FontMetrics metrics = getFontMetrics(font);