support cursor color

This commit is contained in:
Takashi Tamura 2018-10-10 22:05:24 +09:00
parent 3132d18839
commit 5fc49cc572

View File

@ -62,8 +62,13 @@ export class HoverProvider implements vscode.HoverProvider {
if (editor && conf) { if (editor && conf) {
const cursor = editor.selection.active const cursor = editor.selection.active
const symbol = configuration.get('hoverPreview.cursor.symbol') as string const symbol = configuration.get('hoverPreview.cursor.symbol') as string
const color = configuration.get('hoverPreview.cursor.color') as string
let sym = symbol
if (color != 'auto') {
sym = `{\\color{${color}}${symbol}}`
}
if (range.contains(cursor)) { if (range.contains(cursor)) {
return document.getText( new vscode.Range(range.start, cursor) ) + symbol + 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))
} }
} }
return document.getText(range) return document.getText(range)