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

Jim Harkins <[email protected]> Tue, 26 Dec 2023 14:56:12 -0800

Newsgroups	gmane.comp.debugging.ddd.general
Message-ID	<[email protected]>

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 <[email protected]>, 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