fixes #3649

Manindra29 · Manindra29 · commit d1c121fb08e0 · 2015-08-20T20:56:50.000-07:00
diff --git a/app/src/processing/app/syntax/JEditTextArea.java b/app/src/processing/app/syntax/JEditTextArea.java
@@ -2429,8 +2429,10 @@ public void mousePressed(MouseEvent event) {
 //        if (focusedComponent != JEditTextArea.this) return;
       if (!hasFocus()) {
 //          System.out.println("requesting focus in window");
-        requestFocusInWindow();
-        return;
+        // The following condition check fixes #3649 [manindra, 08/20/15]
+        if(!requestFocusInWindow()) {
+          return;
+        }
       }
 
       // isPopupTrigger() is handled differently across platforms,
