[DrJava] [ drjava-Bugs-525682 ] tooltips broken on undo/redo

[<no...@so...>]

Bugs item #525682, was opened at 2002-03-04 16:44
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438935&aid=525682&group_id=44253

Category: User interface
Group: Annoying
Status: Open
Resolution: None
Priority: 3
Submitted By: Eric E. Allen (eallen)
Assigned to: Eric E. Allen (eallen)
Summary: tooltips broken on undo/redo

Initial Comment:
In more recent releases, the tooltips on undo/redo 
have disappeared. This can be confusing to new users. 
It also means that this functionality is not being 
tested.


----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438935&aid=525682&group_id=44253