From d711c7da0948c02f7c79d2611b05d7296cdc5f1e Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 15 Apr 2010 15:41:30 +0000
Subject: [PATCH] Code simplification

---
 src/runtime/javascript/minibar/support.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/runtime/javascript/minibar/support.js b/src/runtime/javascript/minibar/support.js
index ec8c8ed90..cd1618a63 100644
--- a/src/runtime/javascript/minibar/support.js
+++ b/src/runtime/javascript/minibar/support.js
@@ -68,8 +68,7 @@ function tr(cells) {
 }
 
 function button(label,action) {
-  var el=empty("input");
-  el.setAttribute("type","button");
+  var el=empty("input","type","button");
   el.setAttribute("value",label);
   el.setAttribute("onclick",action);
   return el;