Uses of Class
org.jedit.options.CombinedOptions
-
Uses of CombinedOptions in org.jedit.options
Modifier and TypeMethodDescriptionstatic CombinedOptions
CombinedOptions.combinedOptions
(Frame parent) Static constructor that remembers the previously used tab.