https://bugzilla.wikimedia.org/show_bug.cgi?id=52817
Quiddity <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #11 from Quiddity <[email protected]> --- (In reply to Jesús Martínez Novo (Ciencia Al Poder) from comment #9) and (In reply to Nemo from comment #10) Use Colored-highlights, and a Legend, for * These options are the site-defaults * These options are your customized defaults * These options are selected for just-this-search. This will also solve the "what were the defaults? I (might) want to reset!" issue. My ugly mockup/napkin-sketches, from an unrelated topic, just to inspire further thinking: https://i.imgur.com/IcEWCzF.png https://i.imgur.com/tOJOsXG.png -- 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
