GUIUtilities.showWaitCursor(view);
	public OptionsDialog(View view, String title)	{		super(view,title,true);		getContentPane().setLayout(new BorderLayout());		panes = new Vector();		tabs = new JTabbedPane();		getContentPane().add(BorderLayout.CENTER,tabs);		JPanel buttons = new JPanel();		ok = new JButton(jEdit.getProperty("common.ok"));		ok.addActionListener(this);		buttons.add(ok);		getRootPane().setDefaultButton(ok);		cancel = new JButton(jEdit.getProperty("common.cancel"));		cancel.addActionListener(this);		buttons.add(cancel);		getContentPane().add(BorderLayout.SOUTH,buttons);		addKeyListener(this);		addWindowListener(this);	}