diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-22 16:45:46 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-22 16:45:46 +0000 |
| commit | 26d5bcd3949d5327b411057b3de5d4ecbe710914 (patch) | |
| tree | b19997760c6141e3c4632a55931a0e6e449fe151 /src/www/gfse/editor.js | |
| parent | 9ebc42300419b8844b324bc429284bbfdee36048 (diff) | |
gfse: layout fix
Style options inteded for some buttons used in example-based editing was
unintensionally applied to some other OK/Cancel buttons as well.
Diffstat (limited to 'src/www/gfse/editor.js')
| -rw-r--r-- | src/www/gfse/editor.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index c86fe72d1..03cef9dec 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -1058,7 +1058,7 @@ function draw_lins(g,ci) { } l.push(sep(" = ")); var t=editable("span",text_ne(f.lin),g,edit(f),"Edit lin for "+f.fun); - appendChildren(t,exb_linbuttons(g,ci,f)); + t.appendChild(exb_linbuttons(g,ci,f)); l.push(t); return node("span",{"class":cls},l); } |