DDD 3.3.12 (x86_64-pc-linux-gnu) gets `Segmentation fault' signal

[Jim Harkins]

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)

--
Sent from my TRS-80