int start = document.getLineOffset(line);
int whiteend = findEndOfWhiteSpace(document, start,
command.offset);
- int offset = -1;
+ //int offset = -1;
// if (command.offset > 0 && command.offset < docLength &&
// document.getChar(command.offset-1) == '{') {
// offset = command.offset;