As I have took part of the discussion on IRC I won't repeat myself in total. Just to sum it up: IMO this isn't the proper solution for the original problem (users mixing wrong fonts with themes). Anyone who's interested, the discussion was on 20070417 starting about 0:12h
On 4/17/07, Jonathan Gordon <[EMAIL PROTECTED]> wrote:
I like the patch. and if it is only 200bytes then its a nice band-aid fix untill viewports are done
With similar arguments we could introduce the scrolling margins patch (I know that's bigger but it also was requested much more often) then ... - Dominik
