[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#18294: 24.3; gud and/or gdb: Add hooks to detect when a source file
|
From: |
martin rudalics |
|
Subject: |
bug#18294: 24.3; gud and/or gdb: Add hooks to detect when a source file is visited during debugging |
|
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