diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-19 16:13:15 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-19 16:13:15 +0100 |
commit | f5800578c76c211cabd4842ddc96d4f6f244f998 (patch) | |
tree | 222ceb6030255906941c8c99abe5868a9edd99f4 /js | |
parent | 2f675ea417a8912933399b140d7879539bb3f106 (diff) |
Reduce bottom margin for popup hints
Diffstat (limited to 'js')
-rw-r--r-- | js/codeq/hint.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/js/codeq/hint.js b/js/codeq/hint.js index 5db9fca..d402313 100644 --- a/js/codeq/hint.js +++ b/js/codeq/hint.js @@ -274,14 +274,14 @@ } } // construct the wrapper element for the translation mechanism - htmlPrefix = '<span ' + ta(translations) + '>'; + htmlPrefix = '<div class="popup-hint" ' + ta(translations) + '>'; // create the popover after all the DOM modifications have been made, otherwise only the last made popover can be triggered instFunc = function () { var jqMark = jqEditor.find('.' + mark.className); jqMark.popover({ 'content': function () { // decide on what to display only after the popup is triggered, so we can choose the correct translation - return htmlPrefix + translations[codeq.settings['gui_lang']] + '</span>'; + return htmlPrefix + translations[codeq.settings['gui_lang']] + '</div>'; }, 'html': true, 'placement': 'auto bottom', |