Searched refs:recordDelete (Results 1 – 1 of 1) sorted by relevance
1152 recordDelete(startLinePos, nonWhitespaceCharacterAndColumn.character);1170 recordDelete(whitespaceStart, lineEndPosition + 1 - whitespaceStart);1218 function recordDelete(start: number, len: number) { function1250 recordDelete(previousRange.end, currentRange.pos - previousRange.end);1255 recordDelete(previousRange.pos, previousRange.end - previousRange.pos);