GUIUtilities.hideWaitCursor(view);
	public PluginOptions(View view)	{		super(view,jEdit.getProperty("plugin-options.title"));		Class[] optionPanes = jEdit.getOptionPanes();		for(int i = 0; i < optionPanes.length; i++)		{			Class clazz = optionPanes[i];			try			{				OptionPane pane = (OptionPane)clazz					.newInstance();				addOptionPane(pane);			}			catch(Exception e)			{				System.out.println("Error creating option pane "					+ clazz.getName());				e.printStackTrace();			}		}		Dimension screen = getToolkit().getScreenSize();		pack();		setLocation((screen.width - getSize().width) / 2,			(screen.height - getSize().height) / 2);		setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);		show();	}