org.getopt.luke.Prefs |
public static final java.lang.String |
LUKE_PREFS_FILE |
".luke" |
public static final java.lang.String |
P_ANALYZER |
"luke.analyzer" |
public static final java.lang.String |
P_FIELD |
"luke.field" |
public static final java.lang.String |
P_FONT_NAME |
"luke.fontname" |
public static final java.lang.String |
P_FONT_SIZE |
"luke.fontsize" |
public static final java.lang.String |
P_LAST_PWD |
"luke.last_pwd" |
public static final java.lang.String |
P_MRU_ARRAY |
"luke.mru" |
public static final java.lang.String |
P_MRU_SIZE |
"luke.mru_size" |
public static final java.lang.String |
P_THEME |
"luke.theme" |