https://bugzilla.wikimedia.org/show_bug.cgi?id=31765
--- Comment #4 from Brion Vibber <[email protected]> 2011-12-17 00:39:00 UTC --- Pinch-zoom would I think also zoom the search bar, which .... may not work very well. We may be able to rig up a font size override of some sort and stick a setting in settings, though, if it's high-priority. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
