GNU bug report logs - #14701
23.4; gud toolbar versus gud tooltips

Previous Next

Full log

Message #11 received at 14701 <at> debbugs.gnu.org (full text, mbox):

From: Glenn Morris <rgm <at> gnu.org>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: Eric Martin <emartin <at> cse.unsw.edu.au>, 14701 <at> debbugs.gnu.org
Subject: Re: bug#14701: 23.4; gud toolbar versus gud tooltips
Date: Wed, 26 Jun 2013 03:05:43 -0400

Eli Zaretskii wrote:

>> From: Eric Martin <emartin <at> cse.unsw.edu.au>
>> Date: Mon, 24 Jun 2013 13:43:35 +1000
>> 
>> When "Show gud tooltips" is selected from the gud menu, clicking on
>> the gud toolbar icons to step, continue, etc has no effect. Clicking
>> on those icons has the desired effect when "Show gud tooltips" is
>> deselected. So we can have either the functionality of the gud
>> tooltips or the functionality of the gud toolbar, but not both.
>
> Works fine for me in the latest development sources, although I do see
> that in v23.4.  So I think this problem has been fixed.

I don't see the problem in 23.4, 24.1. or 24.2.
But I do see it in 24.3 and current trunk.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.