diff options
Diffstat (limited to 'src/editor/simple/editor.js')
| -rw-r--r-- | src/editor/simple/editor.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/editor/simple/editor.js b/src/editor/simple/editor.js index 64efd4ab1..78867ec3d 100644 --- a/src/editor/simple/editor.js +++ b/src/editor/simple/editor.js @@ -496,7 +496,7 @@ function draw_concrete(g,i) { ]) } -var rgl_modules=["Paradigms","Syntax"]; +var rgl_modules=["Paradigms","Syntax","Lexicon","Extra"]; function add_open(ci) { return function (g,el) { |