https://bugzilla.wikimedia.org/show_bug.cgi?id=19416
--- Comment #8 from Happy-melon <happy-me...@live.com> 2009-07-01 12:53:32 UTC --- Created an attachment (id=6289) --> (https://bugzilla.wikimedia.org/attachment.cgi?id=6289) Make Geshi borders mimic <pre> borders in all skins There's my implementation. I don't see the validity of much of your argument. Yes there are fourteen additional characters in each skinfile that are redundant if Geshi is not installed on the wiki, but the overall bytecount is still lower than in your implementation because it's not necessary to define any actual *rules*. If a new skin (or an update to an existing skin) creates or introduces divergence, it is entirely because the skinwriter has not done a proper job of looking at what other skins are doing. This method is not actually mutually-exclusive to yours: there is no reason why we can't also add your line to shared.css, and have the skinwise implementations override it. I still don't see any reason why having a consistent appearance for Geshi code blocks *between skins* is a Good Thing, except to the extent that it's better than doing nothing. Perhaps the best resolution is just to make the extension once again wrap everything in a <pre> tag like it used to, then the synchronisation becomes automatic. -- 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 Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
