[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #22411] font types in ProjectCenter Editor
From: |
Riccardo mottola |
Subject: |
[bug #22411] font types in ProjectCenter Editor |
Date: |
Mon, 25 Feb 2008 10:17:03 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; FreeBSD i386; en-US; rv:1.8.1.11) Gecko/20080124 SeaMonkey/1.1.7 |
URL:
<http://savannah.gnu.org/bugs/?22411>
Summary: font types in ProjectCenter Editor
Project: GNUstep
Submitted by: rmottola
Submitted on: Monday 02/25/2008 at 10:17
Category: Application
Severity: 3 - Normal
Item Group: Change Request
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
The look of the editor window is not of my taste: I like things aligned. This
happens with art backend compared to xlib backend.
This is more a feature request: a font change preference for the editor text,
so that I can set a monospaced font for clean code indentation,
Since xlib and art backends have different fonts, hardcoding it fixed seems a
bad idea to me, user choice is better.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?22411>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug #22411] font types in ProjectCenter Editor,
Riccardo mottola <=