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 CombinedOptions
CombinedOptions.combinedOptions
(Frame parent) Static constructor that remembers the previously used tab.