org.gjt.sp.jedit.gui.OptionsDialog.valueChanged(TreeSelectionEvent)
org.gjt.sp.jedit.gui.OptionsDialog.init(String,String)
org.gjt.sp.jedit.gui.OptionsDialog.selectPane(OptionGroup,String,List)
org.gjt.sp.jedit.gui.OptionsDialog.PaneNameRenderer.getTreeCellRendererComponent(JTree,Object,boolean,boolean,boolean,int,boolean)