diff options
author | wisberg <wisberg> | 2003-04-30 02:29:52 +0000 |
---|---|---|
committer | wisberg <wisberg> | 2003-04-30 02:29:52 +0000 |
commit | 17905e81012551791f09719e797734c795f12666 (patch) | |
tree | e06cd921782bc62da034bd5333a5f9e4986013ac /ajde/src | |
parent | ccf8e672a370fca1f058a01be36c7a3767bdfaf6 (diff) | |
download | aspectj-17905e81012551791f09719e797734c795f12666.tar.gz aspectj-17905e81012551791f09719e797734c795f12666.zip |
static utility for detecting shift key down - should move
Diffstat (limited to 'ajde/src')
-rw-r--r-- | ajde/src/org/aspectj/ajde/ui/EditorManager.java | 6 |
1 files changed, 6 insertions, 0 deletions
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(); |