Uses of Class
org.jedit.options.PluginOptionGroup.OptionTreeModel

Packages that use PluginOptionGroup.OptionTreeModel
org.jedit.options Option-Pane classes 
 

Uses of PluginOptionGroup.OptionTreeModel in org.jedit.options
 

Methods in org.jedit.options that return PluginOptionGroup.OptionTreeModel
 PluginOptionGroup.OptionTreeModel PluginOptionGroup.createOptionTreeModel()