mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-08 02:32:50 -06:00
gfse: always open a resizable text box when editing concrete syntax
(Also fixed a broken link in gf-web-api-examples.html)
This commit is contained in:
@@ -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.
|
||||
|
||||
@@ -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(" "),
|
||||
|
||||
Reference in New Issue
Block a user