From d1088d12bc6649522f01eca741146a4ab99f5db2 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 19 Apr 2010 16:48:26 +0000
Subject: Some work on minibar:

1. Menu for choosing target language.
2. Pass options when calling start_minibar.
See about.html for more details.
---
 src/runtime/javascript/minibar/support.js | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/runtime/javascript/minibar/support.js')

diff --git a/src/runtime/javascript/minibar/support.js b/src/runtime/javascript/minibar/support.js
index cd1618a63..f124d5194 100644
--- a/src/runtime/javascript/minibar/support.js
+++ b/src/runtime/javascript/minibar/support.js
@@ -74,6 +74,12 @@ function button(label,action) {
   return el;
 }
 
+function option(label,value) {
+    var el=empty("option","value",value);
+    el.innerHTML=label;
+    return el;
+}
+
 function appendChildren(el,cs) {
   for(var i=0;i<cs.length;i++)
     el.appendChild(cs[i]);
-- 
cgit v1.2.3