public class TabPreferences
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
FC_GRAPH_AREA |
static java.lang.String |
FC_GRAPH_FILE |
static java.lang.String |
FC_GRAPH_FORMAT |
static java.lang.String |
FC_RAW_TEXT_AREA |
static java.lang.String |
FC_RAW_TEXT_FILE |
static java.lang.String |
FC_RAW_TEXT_FORMAT |
static Preferences |
g2d_preferences |
static java.util.prefs.Preferences |
preferences |
Constructor and Description |
---|
TabPreferences() |
public static final java.lang.String FC_RAW_TEXT_AREA
public static final java.lang.String FC_RAW_TEXT_FORMAT
public static final java.lang.String FC_RAW_TEXT_FILE
public static final java.lang.String FC_GRAPH_AREA
public static final java.lang.String FC_GRAPH_FORMAT
public static final java.lang.String FC_GRAPH_FILE
public static final java.util.prefs.Preferences preferences
public static final Preferences g2d_preferences