diff options
| author | hallgren <hallgren@chalmers.se> | 2011-09-16 15:13:27 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-09-16 15:13:27 +0000 |
| commit | 128cd2f5c0d8d7f43819f33164c3b7472778eece (patch) | |
| tree | b778e797ce0e4b948d5e22505cadfce7c0fdf298 /src/editor/simple/editor.js | |
| parent | bdc77bf0e4c4b705a3deb5976271dc1fd3df3baf (diff) | |
gfse: add Extra and Lexicon to the list of resource modules that can be opened
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) { |