2012-08-29 08:11:38 +02:00
|
|
|
SpinBox < TextEdit
|
|
|
|
__class: UISpinBox
|
2012-01-26 02:11:05 +01:00
|
|
|
size: 86 20
|
2013-01-23 10:23:28 +01:00
|
|
|
padding: 0
|
2012-08-27 23:56:05 +02:00
|
|
|
|
|
|
|
Button
|
|
|
|
id: up
|
|
|
|
size: 10 10
|
2013-01-18 23:39:11 +01:00
|
|
|
image-source: /images/ui/spinbox_up
|
2012-08-27 23:56:05 +02:00
|
|
|
image-border: 1
|
|
|
|
image-clip: 0 0 10 10
|
|
|
|
anchors.top: parent.top
|
|
|
|
anchors.right: parent.right
|
|
|
|
@onClick: self:getParent():up()
|
|
|
|
|
|
|
|
$hover:
|
|
|
|
image-clip: 0 10 10 10
|
|
|
|
$pressed:
|
|
|
|
image-clip: 0 20 10 10
|
|
|
|
|
|
|
|
Button
|
|
|
|
id: down
|
|
|
|
size: 10 10
|
2013-01-18 23:39:11 +01:00
|
|
|
image-source: /images/ui/spinbox_down
|
2012-08-27 23:56:05 +02:00
|
|
|
image-border: 1
|
|
|
|
image-clip: 0 0 10 10
|
|
|
|
anchors.bottom: parent.bottom
|
|
|
|
anchors.right: parent.right
|
|
|
|
@onClick: self:getParent():down()
|
|
|
|
|
|
|
|
$hover:
|
|
|
|
image-clip: 0 10 10 10
|
|
|
|
$pressed:
|
|
|
|
image-clip: 0 20 10 10
|