Bugs item #520742, was opened at 2002-02-20 16:38
You can respond by visiting:
http://sourceforge.net/tracker/?func=detail&atid=438935&aid=520742&group_id=44253
Category: User interface
Group: Ugly
Status: Open
Resolution: None
Priority: 5
Submitted By: Charles Reis (csreis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Undo/Redo button text in JDK 1.3
Initial Comment:
Using drjava-20020219-2253 on any platform (Linux,
Windows, OS X) in JDK 1.3, the Undo and Redo buttons
in the toolbar contain text after a file is opened
(probably when their state gets updated). This
should definitely not be there, since the text gets
fairly long once you start typing (eg. "Undo
addition"). My guess is that it has something to do
with DelegatingAction (in edu.rice.cs.util.swing),
and the fact that the name of the action gets updated
dynamically. Not sure, though... Note that this
isn't a problem in JDK 1.4.
----------------------------------------------------------------------
You can respond by visiting:
http://sourceforge.net/tracker/?func=detail&atid=438935&aid=520742&group_id=44253
|
