From 029f1d40e5bd98a01d30ee9583c25cedd2dc61c1 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 19 Aug 2013 14:19:18 +0000
Subject: gfse: always open a resizable text box when editing concrete syntax

(Also fixed a broken link in gf-web-api-examples.html)
---
 src/www/gfse/TODO      | 2 ++
 src/www/gfse/editor.js | 6 ++++--
 2 files changed, 6 insertions(+), 2 deletions(-)

(limited to 'src/www/gfse')

diff --git a/src/www/gfse/TODO b/src/www/gfse/TODO
index c976c9d2c..3d4bc9288 100644
--- a/src/www/gfse/TODO
+++ b/src/www/gfse/TODO
@@ -40,3 +40,5 @@
 
 + Bug! The startcat menu shows the first category by default, but the startcat
   flag is actually not set until a selection is made from the menu.
+
++ Always open a resizable text box when editing concrete syntax.
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js
index d81959e2d..1de0f0982 100644
--- a/src/www/gfse/editor.js
+++ b/src/www/gfse/editor.js
@@ -1811,16 +1811,18 @@ function string_editor(el,init,ok,async) {
 	e.it.focus();
     }
     var m=empty_class("span","error_message");
-    if(init.indexOf("\n")>=0) {
+    /*if(init.indexOf("\n")>=0)*/ {
 	var rows=init.split("\n").length+1
 	var i=node("textarea",{"class":"string_edit",name:"it",
-			       rows:rows,cols:"80"},
+			       rows:rows,cols:"60"},
 		   [text(init)]);
     }
+    /*
     else {
 	var i=node("input",{"class":"string_edit",name:"it",value:init},[]);
 	if(init.length>10) i.size=init.length+5;
     }
+    */
     var e=node("form",{},
 	       [i,
 		text(" "),
-- 
cgit v1.2.3