[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Changing the font in DDD doesn't work
|
From: |
Jim Leek |
|
Subject: |
Changing the font in DDD doesn't work |
|
Date: |
Sat, 26 Aug 2017 21:17:40 -0700 |
When I try to change the font in DDD, it either had no effect, or locks up the window manager so bad I have to reboot. This is on Linux Mint 18.1
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Changing the font in DDD doesn't work,
Jim Leek <=