on master help sign in
Use button tag instead of input for buttons. Makes button heights changeable.
commitd84b8d8498217f7564db85c759dd365418f73977 authorOmar Rizwan <omar.rizwan@gmail.com> dateThu 14 Mar 2013, 16:38 (14 years ago) parent9f1ff4e
1 file changed+2−2
core-js/Signal/Input.js+2−2
core-js/Signal/Input.js+2−2
@@ -67,9 +67,9 @@ Elm.Input = function() {
6767 return dropDown(Elm.List.map (function(x) {return Value.Tuple(x,x);}) (opts));
6868 };
6969 var button = function(name) {
70− var b = newElement('input');
70+ var b = newElement('button');
7171 b.type = "button";
72− b.value = JS.castStringToJSString(name);
72+ b.innerText = JS.castStringToJSString(name);
7373 var press = Elm.Signal.constant(false);
7474 Value.addListener(b, 'click', function(e) {
7575 Dispatcher.notify(press.id, true);