From c50df37144a1f7779c773d5d882e1cea32d4fbbd Mon Sep 17 00:00:00 2001
From: krangelov <kr.angelov@gmail.com>
Date: Tue, 28 Jan 2020 21:12:28 +0100
Subject: [PATCH] rename the WordNet module when creating a new language

---
 src/www/gfse/editor.js | 3 +++
 1 file changed, 3 insertions(+)

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) {