On Thu, Jun 11, 2009 at 03:32:35PM +0000, corvid wrote:
Johannes wrote:
attached patch allows to change the font size form the tools menu. I find this quite handy sometimes. What do you think?
As is, it's handy for developers, although it may be confusing for users. Sometimes it works, sometimes it doesn't. When it doesn't it looks as if nothing happened, but when going to another page, the font factor surprises with a change. e.g. http://www.linuxpackages.net (click larger fonts a few times, then go back).
No objections here. (although I've been content since increasing font_min_size a bit)
As is now, I'd go for a plain explanation of font_min_size and font_factor in the FAQ. I'd prefer to polish the patch until is behaves "as expected" in all cases, but that may involve keeping a per page font_factor. It may take some time... -- Cheers Jorge.-