From 6179d92518a3bbc43043baf354cb19da93a50de8 Mon Sep 17 00:00:00 2001 From: Jake Gavin Date: Tue, 26 Sep 2017 23:06:48 -0700 Subject: [PATCH] Fix editor styles for blank playgrounds (#2904) --- website/static/playground.js | 34 ++++++++++++++++++++-------------- 1 file changed, 20 insertions(+), 14 deletions(-) diff --git a/website/static/playground.js b/website/static/playground.js index 1cc88cd7..0006f9b9 100644 --- a/website/static/playground.js +++ b/website/static/playground.js @@ -135,6 +135,7 @@ window.onload = function() { editors[i].classList.remove("loading"); } + setEditorStyles(); inputEditor.setValue(state.content); document.querySelector(".options-container").onchange = formatAsync; @@ -251,6 +252,25 @@ function getCodemirrorMode(options) { function formatAsync() { var options = getOptions(); + setEditorStyles(); + + var value = encodeURIComponent( + JSON.stringify( + Object.assign({ content: inputEditor.getValue(), options: options }) + ) + ); + replaceHash(value); + worker.postMessage({ + text: inputEditor.getValue(), + options: options, + ast: options.ast, + doc: options.doc, + formatted2: options.output2 + }); +} + +function setEditorStyles() { + var options = getOptions(); var mode = getCodemirrorMode(options); inputEditor.setOption("mode", mode); @@ -267,20 +287,6 @@ function formatAsync() { document.querySelector(".output2").style.display = options.output2 ? "" : "none"; - - var value = encodeURIComponent( - JSON.stringify( - Object.assign({ content: inputEditor.getValue(), options: options }) - ) - ); - replaceHash(value); - worker.postMessage({ - text: inputEditor.getValue(), - options: options, - ast: options.ast, - doc: options.doc, - formatted2: options.output2 - }); } function createMarkdown(full) {