From bdf9f2cea42dcf2429e3ccbe458ff8c432f45770 Mon Sep 17 00:00:00 2001 From: tim-zh Date: Mon, 14 Nov 2016 22:05:07 +0300 Subject: code highlighting, copy files update --- tools/gui/resources/web/definitions.js | 3 +++ 1 file changed, 3 insertions(+) (limited to 'tools/gui/resources/web/definitions.js') diff --git a/tools/gui/resources/web/definitions.js b/tools/gui/resources/web/definitions.js index 466cf59..75ef509 100644 --- a/tools/gui/resources/web/definitions.js +++ b/tools/gui/resources/web/definitions.js @@ -216,6 +216,9 @@ let Examples = { var codeBrowser = $("#code-browser"); codeBrowser.show(); codeBrowser.html(node.name.endsWith(".md") ? data : ("
" + data + "
")); + let lang = node.name.substring(node.name.lastIndexOf(".") + 1); + codeBrowser.find("code").addClass(lang); + $("pre code").each((i, block) => hljs.highlightBlock(block)); }); }); } -- cgit v1.2.3