ddd
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Change Font text

From: Michael Eager
Subject: Re: Change Font text
Date: Tue, 4 Oct 2022 12:40:42 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.2.0
On 9/22/22 22:30, fausto via Discussion list for DDD, the GNU graphical debugger front end wrote: 
Cannot change font in the program ddd.

I use Xubuntu.


How are you trying to change the fonts?

What happens when you try to change the font?

--
Michael Eager
reply via email to
[Prev in Thread] Current Thread [Next in Thread]