jumpButton.setEnabled(false);
	private void disableDestGUI()	{		ptrField.setText(null);		dirBox.setSelectedIndex(0);		flagField.setText(null);		reverseCheck.setSelected(false);		styleBox.setSelectedIndex(0);		typeDestBox.setEnabled(false);		ptrField.setEditable(false);		setXYButton.setEnabled(false);		dirBox.setEnabled(false);		flagField.setEditable(false);		reverseCheck.setEnabled(false);		styleBox.setEnabled(false);		destPreview.setEnabled(false); 	}