Subject: Re: bug#18294: 24.3; gud and/or gdb: Add hooks to detect when a source file is visited during debugging

From: martin rudalics <[email-masked]>
Date: Fri, 29 Aug 2014 10:59:45 +0200

> “This behavior” consists of two changes to the current state (which
 > allows editing while debugging):
 >
 > * binding additional keys, and
 > * locking source files to be read-only,
 >
 > and these changes need to be done simultaneously.
 >
 > This may be achieved several ways, one of them being a minor mode,
 > which I am suggesting here.
[...]
 > In my opinion, a separate minor mode is much cleaner than any of the
 > latter options.

Agreed.  I was only objecting to the idea that one could turn that mode
off only by quitting the debugger, that is by typing `quit' in gud-mode.

martin