diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/gfse/editor.css | 3 | ||||
| -rw-r--r-- | src/www/gfse/editor.js | 2 | ||||
| -rw-r--r-- | src/www/gfse/example_based.js | 2 |
3 files changed, 3 insertions, 4 deletions
diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index a9a273d36..100e5b35b 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -42,8 +42,7 @@ div.fun:hover, div.param:hover, div.lincat:hover, div.oper:hover, div.lin:hover, div.template:hover { background: #def;} -.lin input[type=button], -.template input[type=button] { float: right; clear: right; margin: 0; } +.exb_linbuttons input[type=button] { float: right; clear: right; margin: 0; } .exb_output { background: #dfd; float: right; margin: 0 10px; } .more, .delete { font-weight: bold; font-family: sans-serif; } 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); } diff --git a/src/www/gfse/example_based.js b/src/www/gfse/example_based.js index 285344e39..bcdf110af 100644 --- a/src/www/gfse/example_based.js +++ b/src/www/gfse/example_based.js @@ -186,5 +186,5 @@ function exb_linbuttons(g,ci,f) { var exb_output=node("span",{"class":"exb_output"},[]); buttons.push(exb_output) } - return buttons + return node("span",{"class":"exb_linbuttons"},buttons) } |