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()))
|
2012-03-28 18:20:07 +02:00
|
|
|
height: 16
|
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-03-28 18:20:07 +02:00
|
|
|
$!first:
|
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-04-26 21:54:16 +02:00
|
|
|
!text: tr('Options')
|
2012-10-10 01:25:50 +02:00
|
|
|
size: 350 290
|
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-08-07 01:13:33 +02:00
|
|
|
TabBarRounded
|
2012-03-25 16:10:15 +02:00
|
|
|
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
|
2012-04-26 21:54:16 +02:00
|
|
|
!text: tr('Ok')
|
2011-11-03 10:59:11 +01:00
|
|
|
width: 64
|
|
|
|
anchors.right: parent.right
|
|
|
|
anchors.bottom: parent.bottom
|
2012-02-20 03:27:08 +01:00
|
|
|
@onClick: Options.hide()
|