[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #21625] Big default font with GNUstep-startup-0.19.0
From: |
Maurizio Tomasi |
Subject: |
[bug #21625] Big default font with GNUstep-startup-0.19.0 |
Date: |
Wed, 21 Nov 2007 13:31:35 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.8) Gecko/20071022 Ubuntu/7.10 (gutsy) Firefox/2.0.0.8 |
URL:
<http://savannah.gnu.org/bugs/?21625>
Summary: Big default font with GNUstep-startup-0.19.0
Project: GNUstep
Submitted by: zio_tom78
Submitted on: Wednesday 11/21/2007 at 13:31
Category: Gui/AppKit
Severity: 3 - Normal
Item Group: Bug
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
I have made a fresh install of GNUstep-startup-0.19.0 on my laptop running
Ubuntu Linux 7.10 (gutsy) with WindowMaker 0.92.0. After having compiled and
installed everything with the InstallGNUstep script, I tried to compile some
other GNUstep applications, and found that the default font size for menus and
dialogs is really large.
- The first image shows a comparison of the menu for Terminal.app with the
Gnome Terminal running in background. The "right" size IMHO should be the one
used by Gnome.
- The second image shows the Gorm Preferences window. The font size is so
large that the text of the "Remove" button has been clipped. (This however
could be due to Gorm and not to GNUstep itself.)
I have tried to discover the size of the system font, but the following
command did not provide any answer:
$ defaults read NSGlobalDomain NSFontSize
defaults read: couldn't read default
$ defaults write NSGlobalDomain NSFontSize 10
Still, it would have been nice for GNUstep to detect the "right" font size
itself.
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Wednesday 11/21/2007 at 13:31 Name: gnustep-big-fonts.png Size: 9kB
By: zio_tom78
<http://savannah.gnu.org/bugs/download.php?file_id=14451>
-------------------------------------------------------
Date: Wednesday 11/21/2007 at 13:31 Name: gorm.png Size: 2kB By:
zio_tom78
<http://savannah.gnu.org/bugs/download.php?file_id=14452>
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?21625>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug #21625] Big default font with GNUstep-startup-0.19.0,
Maurizio Tomasi <=