globalKeyListener.java

Event.addNativePreviewHandler(new Event.NativePreviewHandler() {
			
			@Override
			public void onPreviewNativeEvent(NativePreviewEvent event) {
				if (event.isFirstHandler()){
					if (Log.isDebugEnabled())
						Log.debug("" +event.getTypeInt());
					if (event.getTypeInt() == Event.KEYEVENTS) {
						int dakey = event.getNativeEvent().getKeyCode();
						if (Log.isDebugEnabled() && dakey > 1) 
							Log.debug("key press:" +  dakey);
				      	
						if((event.getNativeEvent().getCtrlKey() && dakey == 118) || 
				      			(event.getNativeEvent() .getShiftKey() && dakey == 56)) {
				      		Log.debug (" Ctrl & F7 was pressed!");
				      		startListeningToScale= true;
				      		winWedgeWeight= new String("");
				      	}
					}
				}
				
			}
		});