diff options
author | jcid <devnull@localhost> | 2008-06-18 21:59:47 +0200 |
---|---|---|
committer | jcid <devnull@localhost> | 2008-06-18 21:59:47 +0200 |
commit | bf81ea10a2b7c648a5db06517f569d92645e830a (patch) | |
tree | 4e1e1191ffe4011d18533f4dce0dcd2b0bdddce9 /src/prefs.c | |
parent | 71b04ff71d02a88383ba2887e775187b20cb99b8 (diff) |
- Minor cleanups.
Diffstat (limited to 'src/prefs.c')
-rw-r--r-- | src/prefs.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/prefs.c b/src/prefs.c index d1b0bcf8..e820ed75 100644 --- a/src/prefs.c +++ b/src/prefs.c @@ -102,7 +102,6 @@ typedef enum { DRC_TOKEN_STANDARD_WIDGET_COLORS, DRC_TOKEN_START_PAGE, DRC_TOKEN_TEXT_COLOR, - DRC_TOKEN_USE_DICACHE, DRC_TOKEN_VISITED_COLOR, DRC_TOKEN_VW_FONT, DRC_TOKEN_W3C_PLUS_HEURISTICS @@ -161,7 +160,6 @@ static const SymNode_t symbols[] = { { "standard_widget_colors", DRC_TOKEN_STANDARD_WIDGET_COLORS }, { "start_page", DRC_TOKEN_START_PAGE }, { "text_color", DRC_TOKEN_TEXT_COLOR }, - { "use_dicache", DRC_TOKEN_USE_DICACHE }, { "visited_color", DRC_TOKEN_VISITED_COLOR, }, { "vw_fontname", DRC_TOKEN_VW_FONT }, { "w3c_plus_heuristics", DRC_TOKEN_W3C_PLUS_HEURISTICS } @@ -275,9 +273,6 @@ static int Prefs_parse_pair(char *name, char *value) case DRC_TOKEN_W3C_PLUS_HEURISTICS: prefs.w3c_plus_heuristics = (strcmp(value,"YES") == 0); break; - case DRC_TOKEN_USE_DICACHE: - prefs.use_dicache = (strcmp(value, "YES") == 0); - break; case DRC_TOKEN_SHOW_BACK: prefs.show_back = (strcmp(value, "YES") == 0); break; @@ -425,7 +420,6 @@ void a_Prefs_init(void) prefs.limit_text_width = FALSE; prefs.w3c_plus_heuristics = TRUE; prefs.font_factor = 1.0; - prefs.use_dicache = FALSE; prefs.show_back=TRUE; prefs.show_forw=TRUE; prefs.show_home=TRUE; |