diff --git a/core/client.js b/core/client.js index b61ad254e..deaa8eac9 100644 --- a/core/client.js +++ b/core/client.js @@ -165,6 +165,14 @@ function stats() { document.getElementById("statsPane").style.display = 'flex'; } +function toggleStats() { + if (document.getElementById("statsPane").style.display == 'none') { + stats(); + } else { + closeStats(); + } +} + function guessMode(name) { return name.endsWith(".js") ? "javascript" : name.endsWith(".html") ? "htmlmixed" : diff --git a/core/index.html b/core/index.html index 93aa113d6..65c8d5f1f 100644 --- a/core/index.html +++ b/core/index.html @@ -11,11 +11,11 @@