From 21b4977a5e0200aa14343112f1b7b03714f9385e Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Tue, 17 Nov 2015 17:40:44 +0100 Subject: Support different highlight colors for popup hints --- js/codeq/hint.js | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'js/codeq/hint.js') diff --git a/js/codeq/hint.js b/js/codeq/hint.js index b5468e0..5db9fca 100644 --- a/js/codeq/hint.js +++ b/js/codeq/hint.js @@ -38,11 +38,11 @@ hintCounter = 0; }, - addMark = function (start, end) { + addMark = function (start, end, style) { var posStart = editor.posFromIndex(start), posEnd = editor.posFromIndex(end), doc = editor.getDoc(), - mark = doc.markText(posStart, posEnd, {'className': 'editor-mark _emark_' + hintCounter}), + mark = doc.markText(posStart, posEnd, {'className': 'editor-mark _emark_' + hintCounter + ' ' + style}), result = {'start': posStart, 'end': posEnd, 'mark': mark, 'className': '_emark_' + hintCounter}; hintCleaners.push(function () { mark.clear(); mark = null; doc = null; result.mark = null; }); hintCounter++; @@ -255,7 +255,8 @@ 'popup': function (type, template, serverHint) { codeq.log.debug('Processing popup hint'); var args = serverHint.args, - mark = addMark(serverHint.start, serverHint.end), // add the mark + style = serverHint.style || '', + mark = addMark(serverHint.start, serverHint.end, style), // add the mark langs = codeq.availableLangs, translations = {}, lang, i, content, htmlPrefix, instFunc; -- cgit v1.2.1