From 7ba8457e35220d7dc61953550c022b27308d64bf Mon Sep 17 00:00:00 2001 From: Manindra Moharana Date: Thu, 20 Aug 2015 20:56:50 -0700 Subject: [PATCH] fixes #3649 --- app/src/processing/app/syntax/JEditTextArea.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/app/src/processing/app/syntax/JEditTextArea.java b/app/src/processing/app/syntax/JEditTextArea.java index 1ca163ca2..b06b53258 100644 --- a/app/src/processing/app/syntax/JEditTextArea.java +++ b/app/src/processing/app/syntax/JEditTextArea.java @@ -2429,8 +2429,10 @@ public class JEditTextArea extends JComponent // 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,