gfse: support for opening RGL modules

1 files changed, 7 insertions, 2 deletions

diff --git a/src/editor/simple/gf_abs.js b/src/editor/simple/gf_abs.js
index 9c4681dc3..869861f64 100644
--- a/src/editor/simple/gf_abs.js
+++ b/src/editor/simple/gf_abs.js
@@ -176,8 +176,9 @@ function show_concretes(g) {
 
 function show_concrete(basename) {
     return function(conc) {
-	return "concrete "+basename+conc.langcode+" of "+basename+" = {\n\n"
-	    +"flags coding = utf8 ;\n\n"
+	return "concrete "+basename+conc.langcode+" of "+basename+" ="
+            +show_opens(conc.opens)
+	    +" {\n\nflags coding = utf8 ;\n\n"
 	    +show_params(conc.params)
 	    +show_lincats(conc.lincats)
 	    +show_opers(conc.opers)
@@ -192,6 +193,10 @@ function show_list(kw,show1,list) {
 	: ""
 }
 
+function show_opens(opens) {
+    return opens && opens.length>0 ? "\n\nopen "+opens.join(", ")+" in" : ""
+}
+
 function show_params(params) { return show_list("param",show_param,params); }
 function show_lincats(lincats) { return show_list("lincat",show_lincat,lincats); }
 function show_opers(opers) { return show_list("oper",show_oper,opers); }