java.lang.Object
org.jedit.options.OptionTreeModel
org.gjt.sp.jedit.gui.OptionsDialog.OptionTreeModel
- All Implemented Interfaces:
TreeModel
- Enclosing class:
- OptionsDialog
deprecated use
OptionsDialog.OptionTreeModel
Undeprecating until the GlobalOptions, PluginOptions and/or CombinedOptions
are fixed.-
Constructor Summary
-
Method Summary
Methods inherited from class org.jedit.options.OptionTreeModel
addTreeModelListener, fireNodesChanged, fireNodesInserted, fireNodesRemoved, fireTreeStructureChanged, getChild, getChildCount, getIndexOfChild, getRoot, isLeaf, removeTreeModelListener, valueForPathChanged
-
Constructor Details
-
OptionTreeModel
public OptionTreeModel() -
OptionTreeModel
-