Uses of Class
org.jedit.options.CombinedOptions
Packages that use CombinedOptions
-
Uses of CombinedOptions in org.jedit.options
Methods in org.jedit.options that return CombinedOptionsModifier and TypeMethodDescriptionstatic CombinedOptionsCombinedOptions.combinedOptions(Frame parent) Static constructor that remembers the previously used tab.