Minor Bug and it's fix.
Submitted by on Friday, 19 December, 2008 - 01:51
I've used Jedit in several classes at the university i'm current attending.
I'm just submitting a bug and it's fix. Again I said minor, so no laughing when you realize how small it is. Thanks.
In the CharIndexedReader.java file in the gnu.regexp package at line 106.
change br.skip(index-1) to
long actualSkipped = br.skip(index-1);
long total = actualSkipped;
while(total < (index-1)){
actualSkipped = br.skip(index-1 - total);
total = total + actualSkipped;
}
this ensures the amount needed to be skipped actually gets skipped.
I'm just submitting a bug and it's fix. Again I said minor, so no laughing when you realize how small it is. Thanks.
In the CharIndexedReader.java file in the gnu.regexp package at line 106.
change br.skip(index-1) to
long actualSkipped = br.skip(index-1);
long total = actualSkipped;
while(total < (index-1)){
actualSkipped = br.skip(index-1 - total);
total = total + actualSkipped;
}
this ensures the amount needed to be skipped actually gets skipped.
