[Xfce-bugs] [Bug 3164] font size too small after upgrade to 4.4.1
bugzilla-daemon at xfce.org
bugzilla-daemon at xfce.org
Fri May 25 19:21:48 CEST 2007
DO NOT REPLY TO THIS EMAIL. Also, do not reply via email to the person
whose email is mentioned below. To comment on this bug, please visit:
http://bugzilla.xfce.org/show_bug.cgi?id=3164
bjt23 at cornell.edu changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
------- Comment #21 from bjt23 at cornell.edu 2007-05-25 17:21 UTC -------
While the real solution here is to just fix the drivers, obviously that hasn't
happened yet, and who knows when it will happen.
I agree that setting an arbitrary value isn't a good idea: for the people whose
drivers are good, you're (probably) setting an incorrect value. For the people
whose drivers are bad, you're at least setting a sensible value, but it's still
probably the wrong value. So it's hard to say that forcing 96 dpi is a good
idea when, in most cases, it's probably wrong.
I think the best solution here would be a tunable option in the User Interfaces
settings panel. The default should be "system default", where the dpi isn't
set to anything; if the user wants, they can switch from the default to
something custom, whether it's 75, 96, 100, or whatever. This would also allow
users to set the 'wrong' dpi if they want to for some reason (tweak font sizes
of all apps that use xft to draw, not just gtk; make the font size settings
seem more 'natural' to them, etc.).
I do think this is useful/important enough to add to 4.4 branch, even though
it's sorta half-bug-fix, half-new-feature. Olivier, are you ok with that?
--
Configure bugmail: http://bugzilla.xfce.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
More information about the Xfce-bugs
mailing list