readme.md handling

1 files changed, 3 insertions, 1 deletions

diff --git a/tools/gui/resources/web/definitions.js b/tools/gui/resources/web/definitions.js
index d1313d4..466cf59 100644
--- a/tools/gui/resources/web/definitions.js
+++ b/tools/gui/resources/web/definitions.js
@@ -215,9 +215,11 @@ let Examples = {
         ajax("/example/file", {path: node.path}).done(data => {
           var codeBrowser = $("#code-browser");
           codeBrowser.show();
-          codeBrowser.html(data);
+          codeBrowser.html(node.name.endsWith(".md") ? data : ("<pre><code>" + data + "</code></pre>"));
         });
       });
     }
+    if (node.name.toLowerCase() == "readme.md")
+      div.click();
   }
 };