ddd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: Dumb question about fonts


From: Tim Mooney
Subject: RE: Dumb question about fonts
Date: Tue, 13 Dec 2005 13:32:49 -0600 (CST)

In regard to: RE: Dumb question about fonts, Atwood, Robert C said (at...:

Before I get more into this, can someone try the experiment who has a different 
*tif already available?

1. Start ddd
2. Edit [ check 'save options' is on] | Preferences | Fonts
3. Make note of your settings to get them back after
4. Change 'default font' to 'times'
5. Change 'Size' for 'Default Font' to 150
6. Click OK
7. Click 'Yes' to restart ddd and see the effect
---> Menu font should be 15 pt Times, is this true?
8. File | Exit
9. Start ddd
---> Now what is the menu font? I get 12 pt Times , all the sizes in the 
.ddd/init file are set to 0
10. Edit | Preferences | Fonts
11. Change back to what you had before

I tested this on Tru64 UNIX with the vendor Motif, though on an older
version of ddd (3.3.9-test2), and I didn't get the problem you're seeing.
If I set this to times and "150" (I accidentally had 1150 at first, which
was not good), those settings are preserved.

Tim
--
Tim Mooney                              address@hidden
Information Technology Services         (701) 231-1076 (Voice)
Room 242-J6, IACC Building              (701) 231-8541 (Fax)
North Dakota State University, Fargo, ND 58105-5164




reply via email to

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