https://bugzilla.wikimedia.org/show_bug.cgi?id=28343
--- Comment #2 from Brion Vibber <[email protected]> 2011-04-06 22:27:23 UTC --- If I'm reading this correctly, the contextchars option basically got disabled in r34210 (and contextlines earlier), when Robert was rewriting a lot of the highlighting code in 2008. It seems to have been hardcoded at 2 lines and 75 chars, replacing the user preferences... probably we should just drop the prefs, if they've been broken for a couple years and nobody noticed! (contextchars is also used in the ReplaceText extension, but could be dropped from there.) -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
