Re: Change Font text
Michael Eager <[email protected]> Tue, 4 Oct 2022 12:40:42 -0700
| Newsgroups | gmane.comp.debugging.ddd.general |
|---|---|
| Message-ID | <[email protected]> |
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