diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/gf-web-api-examples.html | 4 | ||||
| -rw-r--r-- | src/www/gfse/TODO | 2 | ||||
| -rw-r--r-- | 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(" "), |