bug#39181: 27.0.50; [PATCH] Allow users to store & restore gdb-mi layout

[Eli Zaretskii]

> Cc: 39181@debbugs.gnu.org
> From: martin rudalics <rudalics@gmx.at>
> Date: Sat, 15 Feb 2020 10:55:34 +0100
> 
>  > Martin, any comments?
> 
> IMHO "restoring the previous window layout when gdb quits" should be
> opt-in (or at least opt-out).  Maybe it also should restore the layout
> only when 'gdb-many-windows' is non-nil, so we'd have the three option
> values nil, t, and if-gdb-many-windows (in a menu entry).

I had the same thoughts myself, and I agree on both counts.