From 2428149f99b9155143151c97544f7c5213398af7 Mon Sep 17 00:00:00 2001 From: Ricardo Ambrogi Date: Sat, 13 Oct 2018 19:34:59 +0200 Subject: [PATCH] Remove commented code Commented code should be avoided. There are more downsides then upsides on keeping it. If this piece of code is needed in the future, `git diff` is a better option. --- website/monarch/monarch.js | 8 -------- 1 file changed, 8 deletions(-) diff --git a/website/monarch/monarch.js b/website/monarch/monarch.js index 5bec9087..71b01e98 100644 --- a/website/monarch/monarch.js +++ b/website/monarch/monarch.js @@ -84,14 +84,6 @@ function readSamples(sampleSelect) { var languageId = 'monarch-language-' + id; - // monaco.languages.register({ id: languageId }); - - // var langModel = monaco.editor.createModel(getTextFromId(id), 'javascript'); - // var update = function() { - // console.log() - // }; - // langModel.onDidChangeContent(update); - var sampleText = getTextFromId(id + "-sample"); samples[id] = {