Rockbox.org home
release
dev builds
extras
themes manual
wiki
device status forums
mailing lists
IRC bugs
patches
dev guide



Rockbox mail archive

Subject: Re: WPS line height patch

Re: WPS line height patch

From: Jonathan Gordon <jdgordy_at_gmail.com>
Date: Tue, 17 Apr 2007 17:20:31 +1000

On 17/04/07, Dominik Riebeling <dominik.riebeling_at_gmail.com> wrote:
> 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
> ...
>
I changed my mind, Llorean is correct, doing this with viewports would
be a PITA.
Nico, go for it :)
Received on 2007-04-17


Page was last modified "Jan 10 2012" The Rockbox Crew
aaa