Class PluginOptionGroup


  • public class PluginOptionGroup
    extends OptionGroup
    Refactored from PluginOptions.java - this class contains only the OptionGroup and none of the GUI code.
    Since:
    jedit5.0