[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#23923: 25.0.94; GDB duplicate menu entry
|
From: |
Eli Zaretskii |
|
Subject: |
bug#23923: 25.0.94; GDB duplicate menu entry |
|
Date: |
Sat, 09 Jul 2016 20:03:10 +0300 |
> From: Glenn Morris <rgm@gnu.org>
> Cc: Live System User <nyc4bos@aol.com>, 23923@debbugs.gnu.org
> Date: Sat, 09 Jul 2016 12:55:13 -0400
>
> Eli Zaretskii wrote:
>
> > These two menu items do exactly the same when the program being
> > debugged was not yet started.
>
> It ought to be possible to hide one of the entries when the program has
> not been started.
Patches welcome, but please note that this is so in all the variants
of GUD, so should be changed in all of them.
FWIW, I'm not going to lose sleep over this nit.