bug#14701: 23.4; gud toolbar versus gud tooltips

[Eli Zaretskii]

> From: Eric Martin <emartin@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.