diff --git a/app/src/processing/app/syntax/JEditTextArea.java b/app/src/processing/app/syntax/JEditTextArea.java
index 43b8ad5f7..8554078f4 100644
--- a/app/src/processing/app/syntax/JEditTextArea.java
+++ b/app/src/processing/app/syntax/JEditTextArea.java
@@ -2481,7 +2481,7 @@ public class JEditTextArea extends JComponent
 
 
     private void doSingleClick(MouseEvent evt, int line, int offset, int dot) {
-      if ((evt.getModifiers() & InputEvent.SHIFT_MASK) != 0) {
+      if (evt.isShiftDown()) {
         select(getMarkPosition(),dot);
       } else {
         setCaretPosition(dot);