diff options
| author | hallgren <hallgren@chalmers.se> | 2013-08-19 14:19:18 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-08-19 14:19:18 +0000 |
| commit | 029f1d40e5bd98a01d30ee9583c25cedd2dc61c1 (patch) | |
| tree | 39c77157932d003d09c09b0f3ed7b4ef07b40a99 /src/www/gfse/editor.js | |
| parent | e9eeefa6f05babcf9b9e2ca471797368672f806c (diff) | |
gfse: always open a resizable text box when editing concrete syntax
(Also fixed a broken link in gf-web-api-examples.html)
Diffstat (limited to 'src/www/gfse/editor.js')
| -rw-r--r-- | src/www/gfse/editor.js | 6 |
1 files changed, 4 insertions, 2 deletions
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(" "), |
