setDefaultCloseOperation(DISPOSE_ON_CLOSE);
setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);
	public Options(View view)	{		super(view,jEdit.getProperty("options.title"),true);		GridBagLayout layout = new GridBagLayout();		GridBagConstraints constraints = new GridBagConstraints();		constraints.fill = constraints.BOTH;		constraints.weightx = 1.0f;		Container content = getContentPane();		content.setLayout(layout);		JPanel panel = createLfPanel();		layout.setConstraints(panel,constraints);		content.add(panel);		constraints.gridy = 1;		panel = createOpeningPanel();		layout.setConstraints(panel,constraints);		content.add(panel);		constraints.gridy = 2;		panel = createSavingPanel();		layout.setConstraints(panel,constraints);		content.add(panel);		constraints.gridy = 3;		panel = createEditingPanel();		layout.setConstraints(panel,constraints);		content.add(panel);		constraints.gridy = 4;		panel = createPrintingPanel();		layout.setConstraints(panel,constraints);		content.add(panel);		constraints.gridy = 5;		panel = createButtonsPanel();		layout.setConstraints(panel,constraints);		content.add(panel);		Dimension screen = getToolkit().getScreenSize();		pack();		setLocation((screen.width - getSize().width) / 2,			(screen.height - getSize().height) / 2);		setDefaultCloseOperation(DISPOSE_ON_CLOSE);		show();	}