If you run an update, you may notice--- no line numbers.
This time, the fix introduced an even worse bug than just all over the
place reporting of line number. Starting a new document and typing into
it completely breaks DrJava! Completely. That's just a *little* nasty.
There is some subtle stuff I'm missing still, so it's back to the coal
mines to try to pull out this gem over the next couple of days. But, as
always it seems, be on the lookout for it.
Jim
|
