Method keyPressed

ij/src/main/java/ij/plugin/frame/Recorder.java:121–130

(KeyEvent e)

		add("Center", textArea);
		textArea.addKeyListener(new KeyAdapter() {
			public void keyPressed (KeyEvent e) {
				//IJ.log("keyPressed: "+e);
				if (e.getKeyCode()==KeyEvent.VK_R) {
					int flags = e.getModifiers();
					boolean control = (flags & KeyEvent.CTRL_MASK) != 0;
					boolean meta = (flags & KeyEvent.META_MASK) != 0;
					if (control || meta)
           				runCode();
           		}
        	}
    	});
		GUI.scale(this);
		pack();