diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/gfse/editor.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index fbd403921..8284096d1 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -634,6 +634,9 @@ function adjust_opens(cnc,oldcode,code) { for(var li in rgl_modules) if(cnc.opens[oi]==rgl_modules[li]+oldcode) cnc.opens[oi]=rgl_modules[li]+code; + for(var li in wordnet_modules) + if(cnc.opens[oi]==wordnet_modules[li]+oldcode) + cnc.opens[oi]=wordnet_modules[li]+code; } function add_concrete2(ix,code) { |