Bugs item #976508, was opened at 2004-06-20 23:07
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=976508&group_id=44253
Category: Interactions
Group: Serious
Status: Open
Resolution: None
Priority: 8
Submitted By: Patrick Kruse (pakruse)
Assigned to: Nobody/Anonymous (nobody)
Summary: Interactions caret does not move
Initial Comment:
When running in Windows with the most recent build (the
release version from June 18th), typing in the
interactions pane fails to move the caret.
Any typing will reveal the error.
I also had several other builds, all of which had the
present error, but none of the builds that I have are
more than a week old (June 14th being the earliest).
I'm running under Windows with the newest 1.5 release
(build 56). The problem isn't there in Linux, even with
the 1.5 release, and is present on a fresh compile of
the drjava code in Windows.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=976508&group_id=44253
|
