From 4eaa41eaf067e4876cee2c9b6edc75088e5459d8 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 22 Feb 2012 16:45:46 +0000
Subject: [PATCH] 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.
---
 src/www/gfse/editor.css       | 3 +--
 src/www/gfse/editor.js        | 2 +-
 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)
 }