Use button tag instead of input for buttons. Makes button heights changeable.
This commit is contained in:
parent
9f1ff4e5df
commit
d84b8d8498
1 changed files with 2 additions and 2 deletions
|
@ -67,9 +67,9 @@ Elm.Input = function() {
|
||||||
return dropDown(Elm.List.map (function(x) {return Value.Tuple(x,x);}) (opts));
|
return dropDown(Elm.List.map (function(x) {return Value.Tuple(x,x);}) (opts));
|
||||||
};
|
};
|
||||||
var button = function(name) {
|
var button = function(name) {
|
||||||
var b = newElement('input');
|
var b = newElement('button');
|
||||||
b.type = "button";
|
b.type = "button";
|
||||||
b.value = JS.castStringToJSString(name);
|
b.innerText = JS.castStringToJSString(name);
|
||||||
var press = Elm.Signal.constant(false);
|
var press = Elm.Signal.constant(false);
|
||||||
Value.addListener(b, 'click', function(e) {
|
Value.addListener(b, 'click', function(e) {
|
||||||
Dispatcher.notify(press.id, true);
|
Dispatcher.notify(press.id, true);
|
||||||
|
|
Loading…
Reference in a new issue