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

(Also fixed a broken link in gf-web-api-examples.html)
---
 src/www/gf-web-api-examples.html | 4 ++--
 src/www/gfse/TODO                | 2 ++
 src/www/gfse/editor.js           | 6 ++++--
 3 files changed, 8 insertions(+), 4 deletions(-)
diff --git a/src/www/gf-web-api-examples.html b/src/www/gf-web-api-examples.html
index 2320ab074..8a419012d 100644
--- a/src/www/gf-web-api-examples.html
+++ b/src/www/gf-web-api-examples.html
@@ -3,7 +3,7 @@
 <head>
 <title>GF web services API examples</title>
 <meta charset="UTF-8">
-<link rel="stylesheet" type="text/css" href="../gfse/editor.css" title="Cloud">
+<link rel="stylesheet" type="text/css" href="gfse/editor.css" title="Cloud">
 <meta name = "viewport" content = "width = device-width">
 
 <style type="text/css">
@@ -174,6 +174,6 @@ full API.
 </dl>
 <hr>
 <div class=modtime><small>
-<!-- hhmts start -->Last modified: Tue Nov 20 16:17:42 CET 2012 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Fri Aug 16 16:48:28 CEST 2013 <!-- hhmts end -->
   </small></div>
 <address><a href="http://www.cse.chalmers.se/~hallgren/">TH</a></address>
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(" "),
