Subject: Re: bug#23923: 25.0.94; GDB duplicate menu entry

From: Glenn Morris <[email-masked]>
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.