2012-01-06 10:10:55 +01:00
|
|
|
OptionCheckBox < CheckBox
|
2012-02-20 03:27:08 +01:00
|
|
|
@onCheckChange: Options.setOption(self:getId(), self:isChecked())
|
|
|
|
@onSetup: self:setChecked(Options.getOption(self:getId()))
|
2011-11-03 10:59:11 +01:00
|
|
|
|
2012-01-06 10:10:55 +01:00
|
|
|
$first:
|
2011-11-03 10:59:11 +01:00
|
|
|
anchors.left: parent.left
|
2011-11-17 01:12:11 +01:00
|
|
|
anchors.right: parent.right
|
2011-11-03 10:59:11 +01:00
|
|
|
anchors.top: parent.top
|
|
|
|
|
2012-01-06 10:10:55 +01:00
|
|
|
$middle:
|
2011-11-03 10:59:11 +01:00
|
|
|
anchors.left: parent.left
|
|
|
|
anchors.right: parent.right
|
2011-11-17 01:12:11 +01:00
|
|
|
anchors.top: prev.bottom
|
2012-01-11 13:06:50 +01:00
|
|
|
margin-top: 2
|
2012-01-06 10:10:55 +01:00
|
|
|
|
|
|
|
MainWindow
|
|
|
|
id: optionsWindow
|
2012-01-11 00:13:38 +01:00
|
|
|
text: Options
|
2012-03-25 16:10:15 +02:00
|
|
|
size: 286 200
|
2012-01-11 13:06:50 +01:00
|
|
|
|
2012-01-07 21:00:07 +01:00
|
|
|
@onEnter: Options.hide()
|
|
|
|
@onEscape: Options.hide()
|
2012-01-06 10:10:55 +01:00
|
|
|
|
2012-03-25 16:10:15 +02:00
|
|
|
TabBar
|
|
|
|
id: optionsTabBar
|
|
|
|
anchors.top: parent.top
|
|
|
|
anchors.left: parent.left
|
|
|
|
anchors.right: parent.right
|
2012-01-11 13:06:50 +01:00
|
|
|
|
2012-03-25 16:10:15 +02:00
|
|
|
Panel
|
|
|
|
id: optionsTabContent
|
|
|
|
anchors.top: optionsTabBar.bottom
|
|
|
|
anchors.left: parent.left
|
|
|
|
anchors.right: parent.right
|
|
|
|
anchors.bottom: parent.bottom
|
|
|
|
margin-top: 10
|
2012-01-08 23:32:55 +01:00
|
|
|
|
2011-11-03 10:59:11 +01:00
|
|
|
Button
|
|
|
|
text: Ok
|
|
|
|
width: 64
|
|
|
|
anchors.right: parent.right
|
|
|
|
anchors.bottom: parent.bottom
|
2012-02-20 03:27:08 +01:00
|
|
|
@onClick: Options.hide()
|