plugins[i].createOptionPanes(this);
{ try { plugins[i].createOptionPanes(this); } catch(Throwable t) { Log.log(Log.ERROR,this,"Error creating option pane"); Log.log(Log.ERROR,this,t); } }
	public PluginOptions(View view)	{		super(view,jEdit.getProperty("plugin-options.title"));		// Query plugins for option panes		EditPlugin[] plugins = jEdit.getPlugins();		for(int i = 0; i < plugins.length; i++)			plugins[i].createOptionPanes(this);		view.hideWaitCursor();		Dimension screen = getToolkit().getScreenSize();		pack();		setLocation((screen.width - getSize().width) / 2,			(screen.height - getSize().height) / 2);		setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);		show();	}