Merge pull request #901 from tamuratak/fix_cursor_render

not render cursor at the beginning and at the end
This commit is contained in:
James Yu 2018-10-18 16:12:32 +08:00 committed by GitHub
commit 08e8ed9f71
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -186,7 +186,7 @@ export class HoverProvider implements vscode.HoverProvider {
if (color !== 'auto') { if (color !== 'auto') {
sym = `{\\color{${color}}${symbol}}` sym = `{\\color{${color}}${symbol}}`
} }
if (range.contains(cursor)) { if (range.contains(cursor) && !range.start.isEqual(cursor) && !range.end.isEqual(cursor)) {
return document.getText( new vscode.Range(range.start, cursor) ) + sym + document.getText( new vscode.Range(cursor, range.end)) return document.getText( new vscode.Range(range.start, cursor) ) + sym + document.getText( new vscode.Range(cursor, range.end))
} }
} }