> From: Gustaf Waldemarson <gustaf.waldemarson@gmail.com>
> Date: Thu, 1 Dec 2022 22:53:26 +0100
> Cc: 59730@debbugs.gnu.org
>
> The updated patch is attached to this mail. Although I was not able to find any reference to the GDB options
> that changes
> how types are displayed (https://sourceware.org/gdb/onlinedocs/gdb/Print-Settings.html#Print-Settings). Am
> I just
> blind? Or did you have a specific setting in mind?
I meant "set print frame-arguments", but maybe it is not relevant to what
you are trying to change.
I will review the patch soon, thanks.