diff --git a/src/app/editor/editor.js b/src/app/editor/editor.js index 4a6c6db2cd..7fb63b24ec 100644 --- a/src/app/editor/editor.js +++ b/src/app/editor/editor.js @@ -75,26 +75,6 @@ document.head.appendChild(yo` `) class Editor { - /* - //Private attributs - _components - _deps - */ - - /* - // Public attributs - editor - event - sessions - modes - sourceAnnotations - readOnlySessions - previousInput - saveTimeout - sourceHighlighters - currentSession - emptySession - */ constructor (opts = {}, localRegistry) { // Dependancies