Revision 39408 branches/v2_0_0_prep/frameworks/_fwAndami/src/org/gvsig/andami/ui/mdiFrame/KeyMapping.java

View differences:

KeyMapping.java
104 104 
        keys.put("9", new Integer(KeyEvent.VK_9));
105 105 
        keys.put("+", new Integer(KeyEvent.VK_PLUS));
106 106 
        keys.put("-", new Integer(KeyEvent.VK_MINUS));
107 
        keys.put("F1", new Integer(KeyEvent.VK_F1));
108 
        keys.put("F2", new Integer(KeyEvent.VK_F2));
109 
        keys.put("F3", new Integer(KeyEvent.VK_F3));
110 
        keys.put("F4", new Integer(KeyEvent.VK_F4));
111 
        keys.put("F5", new Integer(KeyEvent.VK_F5));
112 
        keys.put("F6", new Integer(KeyEvent.VK_F6));
113 
        keys.put("F7", new Integer(KeyEvent.VK_F7));
114 
        keys.put("F8", new Integer(KeyEvent.VK_F8));
115 
        keys.put("F9", new Integer(KeyEvent.VK_F9));
116 
        keys.put("F10", new Integer(KeyEvent.VK_F10));
117 
        keys.put("F11", new Integer(KeyEvent.VK_F11));
118 
        keys.put("F12", new Integer(KeyEvent.VK_F12));
119 
        keys.put("DELETE", new Integer(KeyEvent.VK_DELETE));
107 
        keys.put("f1", new Integer(KeyEvent.VK_F1));
108 
        keys.put("f2", new Integer(KeyEvent.VK_F2));
109 
        keys.put("f3", new Integer(KeyEvent.VK_F3));
110 
        keys.put("f4", new Integer(KeyEvent.VK_F4));
111 
        keys.put("f5", new Integer(KeyEvent.VK_F5));
112 
        keys.put("f6", new Integer(KeyEvent.VK_F6));
113 
        keys.put("f7", new Integer(KeyEvent.VK_F7));
114 
        keys.put("f8", new Integer(KeyEvent.VK_F8));
115 
        keys.put("f9", new Integer(KeyEvent.VK_F9));
116 
        keys.put("f10", new Integer(KeyEvent.VK_F10));
117 
        keys.put("f11", new Integer(KeyEvent.VK_F11));
118 
        keys.put("f12", new Integer(KeyEvent.VK_F12));
119 
        keys.put("delete", new Integer(KeyEvent.VK_DELETE));
120 120 
    }
121 121 

  		




  122
  122
  
    
    /**


  		




  ......




  178
  178
  
    
    	if( key == 0 ) {


  		




  179
  179
  
    
    		return null;


  		




  180
  180
  
    
    	}


  		




  
  181
  
    
    	/*


  		




  
  182
  
    
    	 * We are not adding default modifier, this means


  		




  
  183
  
    
    	 * short cuts must come with modifiers explicitly


  		




  
  184
  
    
    	 * except special keys like F3, F7, etc


  		




  
  185
  
    
    	 */


  		




  
  186
  
    
    	/*


  		




  181
  187
  
    
    	if( modifiers == 0 ) {


  		




  182
  188
  
    
    		modifiers = Toolkit.getDefaultToolkit().getMenuShortcutKeyMask();


  		




  183
  189
  
    
    	}


  		




  
  190
  
    
    	*/


  		




  184
  191
  
    
    	return KeyStroke.getKeyStroke(key,modifiers);


  		




  185
  192
  
    
    }


  		




  186
  193
  
    
}


  		












Also available in:  Unified diff