+ ".label"),pane);
+ ".label"),pane.getComponent());
	public void addOptionPane(OptionPane pane)	{		tabs.addTab(jEdit.getProperty("options." + pane.getName()			+ ".label"),pane);		panes.addElement(pane);	}