[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #21913] unable to set the system font size
From: |
Riccardo mottola |
Subject: |
[bug #21913] unable to set the system font size |
Date: |
Sun, 30 Dec 2007 22:46:51 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; FreeBSD i386; en-US; rv:1.8.1.11) Gecko/20071213 SeaMonkey/1.1.7 |
URL:
<http://savannah.gnu.org/bugs/?21913>
Summary: unable to set the system font size
Project: GNUstep
Submitted by: rmottola
Submitted on: Sunday 12/30/2007 at 22:46
Category: Gui/AppKit
Severity: 3 - Normal
Item Group: Bug
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
the system font (the one used in the gorm palette as "system") gets derived
from the "default font" (NSFont constant as set in systempreferences). It gets
derived in a fixed size, so changing the default font size and face, changes
only the face but not the size. The user should be able to accommodate the
sizes of all displayed fonts.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?21913>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [bug #21913] unable to set the system font size,
Riccardo mottola <=