Handle global label

2019-07-10 22:05:32 +00:00
parent 4fa89d4237
commit 1ef19ad751
5 changed files with 52 additions and 4 deletions
--- a/Editor.js
+++ b/Editor.js
@@ -11,7 +11,6 @@ class Editor extends List {
      [EditorLabel, [0, 1]],
      [EditorHelp,  [0, Number.POSITIVE_INFINITY]],
    ]);
-    // TODO: do something with global EditorLabel

    this.container_.classList.add('editor');
    // Needs to accept focus to receive keydown, but shouldn't be in the normal