frysk.gui.srcwin.prefs
Class SourceWinPreferenceGroup

java.lang.Object
  extended by frysk.gui.prefs.PreferenceGroup
      extended by frysk.gui.srcwin.prefs.SourceWinPreferenceGroup
All Implemented Interfaces:
Saveable

public class SourceWinPreferenceGroup
extends PreferenceGroup


Field Summary
static String BACKGROUND
           
static String CURRENT_LINE
           
static String EXEC_MARKS
           
static String EXEC_MARKS_COLOR
           
static String INLINE_LEVELS
           
static String LINE_NUMBER_COLOR
           
static String LINE_NUMS
           
static String MARGIN
           
static String SEARCH
           
static String TEXT
           
static String TOOLBAR
           
 
Constructor Summary
SourceWinPreferenceGroup(String name, int tabNum)
           
 
Method Summary
 
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
 

Field Detail

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
Constructor Detail

SourceWinPreferenceGroup

public SourceWinPreferenceGroup(String name,
                                int tabNum)