Ticket #259: parser-parsetext-outbyone.patch

File parser-parsetext-outbyone.patch, 971 bytes (added by Graham Dutton, 15 years ago)

a partial solution: the line in question

  • src/ed/inf/proofgeneral/editor/lazyparser/Parser.java 

    ### Eclipse Workspace Patch 1.0
#P ed.inf.proofgeneral
RCS file: /disk/cvs/proofgen/eclipse/ed.inf.proofgeneral/src/ed/inf/proofgeneral/editor/lazyparser/Parser.java,v
retrieving revision 1.123
diff -u -r1.123 Parser.java
     
    134134                try {
    135135                        int endLine = doc.getLineOfOffset(startOffset+length-1);
    136136                        do {
    137                                 endOffset = doc.getLineLength(endLine) + doc.getLineOffset(endLine) - 1;
     137                                endOffset = doc.getLineLength(endLine) + doc.getLineOffset(endLine);
    138138                                parseText = doc.getDesymbolised(startOffset, endOffset-startOffset);
    139139                                parseResult = parseText(parseText, doc, startOffset,monitor);
    140140                                results = parseResultContentSize(parseResult);