[wingide-users] MacOS X font customisation

Tue, 6 May 2003 21:53:11 +0100

Would somebody know which key in the "gui.display-font-name" dictionary 
should be used for MacOS X? The documentation mentions only Linux and 
Windows.

Thanks.
-- 
Luc Bourhis




Search: Advanced Search	[wingide-users] MacOS X font customisation Luc Bourhis Luc_J_Bourhis at mac.com Tue, 6 May 2003 21:53:11 +0100 Previous message: [wingide-users] Breakpoints _not_ hit when debugging "Externally launched process" Next message: [wingide-users] MacOS X font customisation Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Would somebody know which key in the "gui.display-font-name" dictionary should be used for MacOS X? The documentation mentions only Linux and Windows. Thanks. -- Luc Bourhis Previous message: [wingide-users] Breakpoints _not_ hit when debugging "Externally launched process" Next message: [wingide-users] MacOS X font customisation Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Run by Mailman v 2.0.8
Copyright (c) 2000-2002, Archaeopteryx Software, Inc. Legal Statements