diff options
-rw-r--r-- | js/prolog.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/js/prolog.js b/js/prolog.js index 2037524..df2a1b0 100644 --- a/js/prolog.js +++ b/js/prolog.js @@ -27,8 +27,8 @@ animateScroll: false, promptHistory: false, welcomeMessage: 'Prolog REPL.' - }), - /** Object.<string, HintDefinition> */ hintDefs = info.hint, + }), /** Object.<string, HintDefinition> */ + hintDefs = info.hint, hintCounter = 0, // for generating unique class-names hintCleaners = [], clearHints = function () { @@ -96,7 +96,7 @@ mark = null; });*/ - jqMark.popover({content: template, html: true, placement: 'auto bottom', trigger: 'click'}); + jqMark.popover({content: template, html: true, placement: 'auto bottom', trigger: 'click', container: 'body'}); hintCleaners.push(function () { if (jqMark) { jqMark.popover('destroy'); jqMark = null; } }); }, 'dropdown': function (type, template, serverHint) { |