[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#14701: 23.4; gud toolbar versus gud tooltips
From: |
Eli Zaretskii |
Subject: |
bug#14701: 23.4; gud toolbar versus gud tooltips |
Date: |
Mon, 24 Jun 2013 19:07:30 +0300 |
> 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.