From c86f0daa94d56d21e14071f38812c20a6ee3c906 Mon Sep 17 00:00:00 2001 From: Van Date: Sun, 19 May 2019 18:58:33 +0800 Subject: [PATCH] :bug: playground output --- static/css/playground.css | 10 +++++++++- static/js/playground.js | 2 -- 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/static/css/playground.css b/static/css/playground.css index 434d2e5..8bbbfcb 100644 --- a/static/css/playground.css +++ b/static/css/playground.css @@ -74,8 +74,12 @@ body{ height: 70%; } -#output { +.bottom-window-group { height: 30%; +} + +#output { + height: 100%; width: 100%; border-width: 0; margin: 0; @@ -114,6 +118,10 @@ body{ border-left: 1px solid #919191; } +#goNews::-webkit-scrollbar { + display: none; +} + #goNews li a { display: block; padding: 8px 10px; diff --git a/static/js/playground.js b/static/js/playground.js index cd00e3a..32411e8 100644 --- a/static/js/playground.js +++ b/static/js/playground.js @@ -295,8 +295,6 @@ var playground = { }; playgroundWS.onmessage = function (e) { - console.log('[playground onmessage]' + e.data); - var data = JSON.parse(e.data); if ("init-playground" === data.cmd) {