I just found a mistake in the new `paddingLeft` an...

# tornadofx

[edvin]

I just found a mistake in the new paddingLeft and paddingRight extension properties. They were defined as Double, not as Number. The other paddingXXX extension properties were OK.