From 17905e81012551791f09719e797734c795f12666 Mon Sep 17 00:00:00 2001
From: wisberg <wisberg>
Date: Wed, 30 Apr 2003 02:29:52 +0000
Subject: [PATCH] static utility for detecting shift key down - should move

---
 ajde/src/org/aspectj/ajde/ui/EditorManager.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ajde/src/org/aspectj/ajde/ui/EditorManager.java b/ajde/src/org/aspectj/ajde/ui/EditorManager.java
index dc1be0872..e47728dc7 100644
--- a/ajde/src/org/aspectj/ajde/ui/EditorManager.java
+++ b/ajde/src/org/aspectj/ajde/ui/EditorManager.java
@@ -15,6 +15,7 @@
 package org.aspectj.ajde.ui;
 
 import java.awt.BorderLayout;
+import java.awt.event.KeyEvent;
 import java.io.IOException;
 import java.util.ArrayList;
 import java.util.Iterator;
@@ -38,6 +39,11 @@ import org.aspectj.bridge.ISourceLocation;
  */
 public class EditorManager {
 
+    /** @return true if input modifiers have shift down */
+    public static boolean isShiftDown(int modifiers) {
+        return (0 != (modifiers & KeyEvent.SHIFT_MASK));
+    }
+
     private EditorAdapter editor = null;
     private BasicEditor basicEditor = null;
     private ArrayList editorListeners = new ArrayList();
-- 
2.39.5