frysk.gui.srcwin.prefs
Class SourceWinPreferenceGroup
java.lang.Object
frysk.gui.prefs.PreferenceGroup
frysk.gui.srcwin.prefs.SourceWinPreferenceGroup
- All Implemented Interfaces:
- Saveable
public class SourceWinPreferenceGroup
- extends PreferenceGroup
Methods inherited from class frysk.gui.prefs.PreferenceGroup |
addPreference, addSubgroup, contains, getName, getPreference, getPreferences, getSubgroup, getSubgroups, getTabNum, load, removePreference, removePreference, removeSubgroup, removeSubgroup, revertAll, save |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
INLINE_LEVELS
public static final String INLINE_LEVELS
- See Also:
- Constant Field Values
TEXT
public static final String TEXT
- See Also:
- Constant Field Values
BACKGROUND
public static final String BACKGROUND
- See Also:
- Constant Field Values
MARGIN
public static final String MARGIN
- See Also:
- Constant Field Values
LINE_NUMBER_COLOR
public static final String LINE_NUMBER_COLOR
- See Also:
- Constant Field Values
CURRENT_LINE
public static final String CURRENT_LINE
- See Also:
- Constant Field Values
SEARCH
public static final String SEARCH
- See Also:
- Constant Field Values
EXEC_MARKS_COLOR
public static final String EXEC_MARKS_COLOR
- See Also:
- Constant Field Values
TOOLBAR
public static final String TOOLBAR
- See Also:
- Constant Field Values
LINE_NUMS
public static final String LINE_NUMS
- See Also:
- Constant Field Values
EXEC_MARKS
public static final String EXEC_MARKS
- See Also:
- Constant Field Values
SourceWinPreferenceGroup
public SourceWinPreferenceGroup(String name,
int tabNum)