[Top][All Lists]

[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: Gecko/20080124 SeaMonkey/1.1.7


                 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



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:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]