|
From: Jim V. F. <big...@ri...> - 2002-04-11 07:26:24
|
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 |