I was trying to make the DDD font size larger, something readable on my
1920x1080 display. Do I really have to guess at a magic number that
matches what size I want my font? I'm on a brand new HP laptop running
W11 and WSL.
jim
Internal error (Segmentation fault).
Oops! You have found a bug in DDD.
If you can reproduce this bug, please send a bug report
to <ddd@gnu.org>, giving a subject like
DDD 3.3.12 (x86_64-pc-linux-gnu) gets `Segmentation fault' signal
To enable us to fix the bug, you should include the following information:
* What you were doing to get this message. Report all the facts.
* The contents of the `~/.ddd/log' file as generated by this session.
Please read also the section "Reporting Bugs" in the DDD manual.
We thank you for your support.
Segmentation fault (core dumped)