public interface OptionsService
Modifier and Type | Method and Description |
---|---|
org.gjt.sp.jedit.OptionGroup |
getOptionGroup(VPTProject proj)
This should return an OptionGroup to be shown.
|
org.gjt.sp.jedit.OptionPane |
getOptionPane(VPTProject proj)
This method should return the option pane to be shown.
|
org.gjt.sp.jedit.OptionPane getOptionPane(VPTProject proj)
proj
- The project that will be edited.org.gjt.sp.jedit.OptionGroup getOptionGroup(VPTProject proj)
proj
- The project that will be edited.