Revision 39408 branches/v2_0_0_prep/libraries/libCorePlugin/src/org/gvsig/coreplugin/mdiManager/WindowStackSupport.java

View differences:

WindowStackSupport.java
76 76 
			key_free[i] = true;
77 77 
		}
78 78 
		key = new java.lang.String[10];
79 
		key[0] = "1";
80 
		key[1] = "2";
81 
		key[2] = "3";
82 
		key[3] = "4";
83 
		key[4] = "5";
84 
		key[5] = "6";
85 
		key[6] = "7";
86 
		key[7] = "8";
87 
		key[8] = "9";
88 
		key[9] = "0";
79 
		/*
80 
		 * We need to add CTRL modifier because
81 
		 * our key stroke manager will
82 
		 * not add default modifier (because we need to
83 
		 * deal with F3, F7, etc, not CTRL+F3 etc)
84 
		 */
85 
		key[0] = "ctrl+1";
86 
		key[1] = "ctrl+2";
87 
		key[2] = "ctrl+3";
88 
		key[3] = "ctrl+4";
89 
		key[4] = "ctrl+5";
90 
		key[5] = "ctrl+6";
91 
		key[6] = "ctrl+7";
92 
		key[7] = "ctrl+8";
93 
		key[8] = "ctrl+9";
94 
		key[9] = "ctrl+0";
89 95 
	}
90 96 

  		




  91
  97
  
    
	public void add(IWindow v, final ActionListener listener) {


  		












Also available in:  Unified diff