Changing the font in DDD doesn't work
Jim Leek <[email protected]> Sat, 26 Aug 2017 21:17:40 -0700
| Newsgroups | gmane.comp.debugging.ddd.general |
|---|---|
| Message-ID | <CANwpia3D2UoKe0_hkCk0gYvgz6CcuXBLbHfbnHM6DG4=7+f6ow@mail.gmail.com> |
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