[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Dumb question about fonts
From: |
ddd |
Subject: |
Re: Dumb question about fonts |
Date: |
Tue, 06 Dec 2005 09:13:48 +0200 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20051101 |
address@hidden wrote:
>Hi,
>
>
>
>One of the users on the machine I am trying to maintain keeps getting
>tiny little fonts in his ddd display. We tried changing
>edit|preferences|fonts entries but when ddd is restarted, the changes go
>away. Unfortnately this is a 'works for me' situation, I don't have that
>problem when I do it. I'm afraid it may be more of a X window resources
>mixup but I am hoping someone here recognizes the problem and kindly
>explains to me how to sort it out. The user does not seem to have the
>problem when running other programs on the same server with the same
>workstation
>
>Where does the font that the user finally sees actually come from?
>
>I did find that changing the size of the default font would not persist
>for me , but changing the family (helvetica, courier) does persist.
>
>
>
>System is suse-linux-9.1 x86-64
>
>Ddd is 3.3.11 ( self-compiled ) but the same effect was first observed
>on whatever came with the suse
>
>Workstation is windowsXP + cygwin/X
>
>Thanks
>
>Robert
>
>
The fact that the preferences are lost during a restart
indicates a bug in DDD.
Care to make a patch?
- Dumb question about fonts, ddd, 2005/12/05
- Re: Dumb question about fonts,
ddd <=
- RE: Dumb question about fonts, Atwood, Robert C, 2005/12/06
- RE: Dumb question about fonts, Atwood, Robert C, 2005/12/08
- RE: Dumb question about fonts, Atwood, Robert C, 2005/12/09
- RE: Dumb question about fonts, Atwood, Robert C, 2005/12/14
- RE: Dumb question about fonts, Atwood, Robert C, 2005/12/14