2012-08-29 08:11:38 +02:00
|
|
|
SpinBox < TextEdit
|
|
|
|
__class: UISpinBox
|
2013-02-19 11:19:18 +01:00
|
|
|
text-align: left
|
2014-07-12 21:38:11 +02:00
|
|
|
size: 86 22
|
2013-01-23 10:23:28 +01:00
|
|
|
padding: 0
|
2013-02-19 11:19:18 +01:00
|
|
|
padding-left: 2
|
2012-08-27 23:56:05 +02:00
|
|
|
|
|
|
|
Button
|
|
|
|
id: up
|
2014-07-12 21:38:11 +02:00
|
|
|
size: 11 11
|
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
|
|
|
|
|
|
|
|
$hover:
|
|
|
|
image-clip: 0 10 10 10
|
|
|
|
$pressed:
|
|
|
|
image-clip: 0 20 10 10
|
|
|
|
|
|
|
|
Button
|
|
|
|
id: down
|
2014-07-12 21:38:11 +02:00
|
|
|
size: 11 11
|
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
|
|
|
|
|
|
|
|
$hover:
|
|
|
|
image-clip: 0 10 10 10
|
|
|
|
$pressed:
|
|
|
|
image-clip: 0 20 10 10
|