[DrJava] [ drjava-Bugs-523388 ] Version number in about box wrong

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

Bugs item #523388, was opened at 2002-02-27 06:00
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438935&aid=523388&group_id=44253

Category: Other
Group: Ugly
Status: Open
Resolution: None
Priority: 9
Submitted By: Brian Stoler (brianstoler)
Assigned to: Brian Stoler (brianstoler)
Summary: Version number in about box wrong

Initial Comment:
Grr. Due to the stupid "final constants get inlined
across class boundaries" problem, the version number in
the about text can be wrong. The fix is to only access
the version number through an accessor method.

Fixing now.

PS: To get the drjava version easily (the correct
one!), include the DrJava classes in your classpath and
type:

java edu.rice.cs.drjava.Version

(It has a main method to print the version.)

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

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