From: Dominik Riebeling <dominik.riebeling_at_gmail.com>
Date: Tue, 17 Apr 2007 09:03:48 +0200

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 <jdgordy_at_gmail.com> 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
Received on 2007-04-17