Method keyReleased

Singular/LIB/surfex/SavePicDialog.java:449–460

(KeyEvent keyEvent)

	p1.add(new JLabel("  width:"));
	width.addKeyListener(new KeyListener() {
		public void keyReleased(KeyEvent keyEvent) {
		    if (aspectRatio.isSelected()) {
			// musste mitm Dreisatz den height updaten
			setHeight(Double.valueOf(width.getText()).doubleValue()
				  * rayFrame.getContentPane().getSize().height
				  / rayFrame.getContentPane().getSize().width);
		    }
		    standardDim.setSelectedIndex(0);
		    //rb[10].setSelected(true);
		    updateLabel_newSize();
		    outputFormat.setSelectedIndex(0);
		}

		public void keyPressed(KeyEvent keyEvent) {
		}