diff options
| author | Jorge Arellano Cid <jcid@dillo.org> | 2016-06-21 18:04:00 -0400 |
|---|---|---|
| committer | Jorge Arellano Cid <jcid@dillo.org> | 2016-06-21 18:04:00 -0400 |
| commit | 5a5f20020fc4b62d1e8f8db48da3eb84e9f4160e (patch) | |
| tree | df9cd8990d47b5d3ad038979b7e32231f3e8029e /src | |
| parent | 482c55ff10490d2ff26dba537a85359b9913e8a2 (diff) | |
Removed the w3c_plus_heuristics dillorc option.
No longer necessary since the new nesting-cleanup design.
Diffstat (limited to 'src')
| -rw-r--r-- | src/prefs.c | 1 | ||||
| -rw-r--r-- | src/prefs.h | 1 | ||||
| -rw-r--r-- | src/prefsparser.cc | 3 |
3 files changed, 1 insertions, 4 deletions
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, |