diff options
| -rw-r--r-- | dillorc | 9 | ||||
| -rw-r--r-- | src/prefs.c | 1 | ||||
| -rw-r--r-- | src/prefs.h | 1 | ||||
| -rw-r--r-- | src/prefsparser.cc | 3 |
4 files changed, 1 insertions, 13 deletions
@@ -136,15 +136,6 @@ # text. #stretchability_factor=1 -#------------------------------------------------------------------------- -# PARSING SECTION -#------------------------------------------------------------------------- - -# If you prefer more accurate HTML bug diagnosis over better rendering -# (page authors and webmasters) set the following to "NO". -# -#w3c_plus_heuristics=YES - #------------------------------------------------------------------------- # NETWORK SECTION diff --git a/src/prefs.c b/src/prefs.c index 39416a04..59590356 100644 --- a/src/prefs.c +++ b/src/prefs.c @@ -115,7 +115,6 @@ void a_Prefs_init(void) prefs.ui_tab_active_fg_color = -1; prefs.ui_tab_fg_color = -1; prefs.ui_text_bg_color = -1; - prefs.w3c_plus_heuristics = TRUE; prefs.penalty_hyphen = 100; prefs.penalty_hyphen_2 = 800; diff --git a/src/prefs.h b/src/prefs.h index d22ef656..a77120e4 100644 --- a/src/prefs.h +++ b/src/prefs.h @@ -68,7 +68,6 @@ typedef struct { bool_t limit_text_width; bool_t adjust_min_width; bool_t adjust_table_min_width; - bool_t w3c_plus_heuristics; bool_t focus_new_tab; double font_factor; int32_t font_max_size; diff --git a/src/prefsparser.cc b/src/prefsparser.cc index a57a1642..6bb33b26 100644 --- a/src/prefsparser.cc +++ b/src/prefsparser.cc @@ -145,7 +145,7 @@ void PrefsParser::parse(FILE *fp) int st; /* Symbol array, sorted alphabetically */ - SymNode_t symbols[] = { + static SymNode_t symbols[] = { { "allow_white_bg", &prefs.allow_white_bg, PREFS_BOOL, 0 }, { "white_bg_replacement", &prefs.white_bg_replacement, PREFS_COLOR, 0 }, { "bg_color", &prefs.bg_color, PREFS_COLOR, 0 }, @@ -222,7 +222,6 @@ void PrefsParser::parse(FILE *fp) { "ui_tab_active_fg_color", &prefs.ui_tab_active_fg_color, PREFS_COLOR, 0 }, { "ui_tab_fg_color", &prefs.ui_tab_fg_color, PREFS_COLOR, 0 }, { "ui_text_bg_color", &prefs.ui_text_bg_color, PREFS_COLOR, 0 }, - { "w3c_plus_heuristics", &prefs.w3c_plus_heuristics, PREFS_BOOL, 0 }, { "penalty_hyphen", &prefs.penalty_hyphen, PREFS_FRACTION_100, 0 }, { "penalty_hyphen_2", &prefs.penalty_hyphen_2, PREFS_FRACTION_100, 0 }, { "penalty_em_dash_left", &prefs.penalty_em_dash_left, |