addOptionPane(new EditorOptionPane(), jEditGroup);
addOptionPane(new LoadSaveOptionPane(), jEditGroup); addOptionPane(new EditingOptionPane(), jEditGroup); addOptionPane(new ModeOptionPane(), jEditGroup);
	private OptionTreeModel createOptionTreeModel()	{		OptionTreeModel paneTreeModel = new OptionTreeModel();		OptionGroup rootGroup = (OptionGroup) paneTreeModel.getRoot();		// initialize the jEdit branch of the options tree		jEditGroup = new OptionGroup("jedit");		addOptionPane(new GeneralOptionPane(), jEditGroup);		addOptionPane(new EditorOptionPane(), jEditGroup);		addOptionPane(new TextAreaOptionPane(), jEditGroup);		addOptionPane(new StyleOptionPane(), jEditGroup);		addOptionPane(new DockingOptionPane(), jEditGroup);		addOptionPane(new ContextOptionPane(), jEditGroup);		addOptionPane(new ToolBarOptionPane(), jEditGroup);		// create the Shortcuts sub-branch		OptionGroup shortcutsGroup = new OptionGroup("shortcuts");		shortcutsGroup.addOptionPane(new CommandShortcutsOptionPane());		shortcutsGroup.addOptionPane(new MacroShortcutsOptionPane());		addOptionGroup(shortcutsGroup, jEditGroup);		addOptionPane(new AbbrevsOptionPane(), jEditGroup);		addOptionPane(new PrintOptionPane(), jEditGroup);		addOptionPane(new BrowserOptionPane(), jEditGroup);		addOptionGroup(jEditGroup, rootGroup);		// initialize the Plugins branch of the options tree		pluginsGroup = new OptionGroup("plugins");		// Query plugins for option panes		EditPlugin[] plugins = jEdit.getPlugins();		for(int i = 0; i < plugins.length; i++)		{			EditPlugin ep = plugins[i];			try			{				ep.createOptionPanes(this);			}			catch(Throwable t)			{				Log.log(Log.ERROR, ep,					"Error creating option pane");				Log.log(Log.ERROR, ep, t);			}		}		// only add the Plugins branch if there are OptionPanes		if (pluginsGroup.getMemberCount() > 0)		{			addOptionGroup(pluginsGroup, rootGroup);		}		return paneTreeModel;	}