1 19 20 package org.netbeans.modules.debugger.jpda.ui; 21 22 import javax.swing.Action ; 23 import javax.swing.JEditorPane ; 24 import javax.swing.KeyStroke ; 25 import javax.swing.text.Keymap ; 26 27 32 public class FilteredKeymap implements Keymap { 33 34 private final javax.swing.KeyStroke enter = javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_ENTER, 0); 35 private final javax.swing.KeyStroke esc = javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_ESCAPE, 0); 36 private final javax.swing.KeyStroke tab = javax.swing.KeyStroke.getKeyStroke(java.awt.event.KeyEvent.VK_TAB, 0); 37 private final Keymap keyMap; 39 40 public FilteredKeymap(Keymap keyMap) { 41 this.keyMap = keyMap; 42 } 43 44 public void addActionForKeyStroke(KeyStroke key, Action a) { 45 keyMap.addActionForKeyStroke(key, a); 46 } 47 public Action getAction(KeyStroke key) { 48 if (enter.equals(key) || 49 esc.equals(key) || 50 tab.equals(key)) { 51 52 return null; 53 } else { 54 return keyMap.getAction(key); 55 } 56 } 57 public Action [] getBoundActions() { 58 return keyMap.getBoundActions(); 59 } 60 public KeyStroke [] getBoundKeyStrokes() { 61 return keyMap.getBoundKeyStrokes(); 62 } 63 public Action getDefaultAction() { 64 return keyMap.getDefaultAction(); 65 } 66 public KeyStroke [] getKeyStrokesForAction(Action a) { 67 return keyMap.getKeyStrokesForAction(a); 68 } 69 public String getName() { 70 return keyMap.getName()+"_Filtered"; } 72 public javax.swing.text.Keymap getResolveParent() { 73 return keyMap.getResolveParent(); 74 } 75 public boolean isLocallyDefined(KeyStroke key) { 76 if (enter.equals(key) || 77 esc.equals(key) || 78 tab.equals(key)) { 79 80 return false; 81 } else { 82 return keyMap.isLocallyDefined(key); 83 } 84 } 85 public void removeBindings() { 86 keyMap.removeBindings(); 87 } 88 public void removeKeyStrokeBinding(KeyStroke keys) { 89 keyMap.removeKeyStrokeBinding(keys); 90 } 91 public void setDefaultAction(Action a) { 92 keyMap.setDefaultAction(a); 93 } 94 public void setResolveParent(javax.swing.text.Keymap parent) { 95 keyMap.setResolveParent(parent); 96 } 97 } 98 | Popular Tags |