GUIUtilities.hideWaitCursor(view);
	public GlobalOptions(View view)	{		super(view,jEdit.getProperty("options.title"));		addOptionPane(new org.gjt.sp.jedit.options.GeneralOptionPane());		addOptionPane(new org.gjt.sp.jedit.options.EditorOptionPane());		addOptionPane(new org.gjt.sp.jedit.options.KeyTableOptionPane());		addOptionPane(new org.gjt.sp.jedit.options.StyleOptionPane());		Dimension screen = getToolkit().getScreenSize();		pack();		setLocation((screen.width - getSize().width) / 2,			(screen.height - getSize().height) / 2);		setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);		show();	}