Skip to content

Commit

Permalink
Merge pull request #4257 from moisseev/webui
Browse files Browse the repository at this point in the history
[WebUI] Wrap Prism.highlightElement
  • Loading branch information
vstakhov committed Aug 31, 2022
2 parents 6ffecd3 + 55fb37b commit c47f428
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion interface/js/app/config.js
Expand Up @@ -187,7 +187,7 @@ define(["jquery", "codejar", "linenumbers", "prism"],
if (editor[mode].codejar) {
jar = new CodeJar(
document.querySelector("#editor"),
withLineNumbers(Prism.highlightElement)
withLineNumbers((el) => Prism.highlightElement(el))
);
}

Expand Down
2 changes: 0 additions & 2 deletions interface/js/lib/jquery-3.6.0.min.js

This file was deleted.

2 changes: 2 additions & 0 deletions interface/js/lib/jquery-3.6.1.min.js

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion interface/js/main.js
Expand Up @@ -4,7 +4,7 @@ requirejs.config({
baseUrl: "js/lib",
paths: {
app: "../app",
jquery: "jquery-3.6.0.min",
jquery: "jquery-3.6.1.min",
visibility: "visibility.min",
bootstrap: "bootstrap.bundle.min",
codejar: "codejar.min",
Expand Down

0 comments on commit c47f428

Please sign in to comment.