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/prefs.c | |
| parent | 482c55ff10490d2ff26dba537a85359b9913e8a2 (diff) | |
Removed the w3c_plus_heuristics dillorc option.
No longer necessary since the new nesting-cleanup design.
Diffstat (limited to 'src/prefs.c')
| -rw-r--r-- | src/prefs.c | 1 |
1 files changed, 0 insertions, 1 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; |