2012-01-06 10:10:55 +01:00
|
|
|
OptionCheckBox < CheckBox
|
2013-01-18 23:39:11 +01:00
|
|
|
@onCheckChange: modules.client_options.setOption(self:getId(), self:isChecked())
|
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
|
|
|
|
2013-03-02 21:01:29 +01:00
|
|
|
OptionScrollbar < HorizontalScrollBar
|
|
|
|
step: 1
|
|
|
|
@onValueChange: modules.client_options.setOption(self:getId(), self:getValue())
|
|
|
|
|
2012-01-06 10:10:55 +01:00
|
|
|
MainWindow
|
|
|
|
id: optionsWindow
|
2012-04-26 21:54:16 +02:00
|
|
|
!text: tr('Options')
|
2013-01-25 16:33:51 +01:00
|
|
|
size: 480 340
|
2012-01-11 13:06:50 +01:00
|
|
|
|
2013-01-18 23:39:11 +01:00
|
|
|
@onEnter: modules.client_options.hide()
|
|
|
|
@onEscape: modules.client_options.hide()
|
2012-01-06 10:10:55 +01:00
|
|
|
|
2013-01-25 16:33:51 +01:00
|
|
|
TabBarVertical
|
2012-03-25 16:10:15 +02:00
|
|
|
id: optionsTabBar
|
|
|
|
anchors.top: parent.top
|
|
|
|
anchors.left: parent.left
|
2013-01-25 16:33:51 +01:00
|
|
|
anchors.bottom: parent.bottom
|
2012-01-11 13:06:50 +01:00
|
|
|
|
2012-03-25 16:10:15 +02:00
|
|
|
Panel
|
|
|
|
id: optionsTabContent
|
2013-01-25 16:33:51 +01:00
|
|
|
anchors.top: optionsTabBar.top
|
|
|
|
anchors.left: optionsTabBar.right
|
2012-03-25 16:10:15 +02:00
|
|
|
anchors.right: parent.right
|
2013-01-25 16:33:51 +01:00
|
|
|
anchors.bottom: optionsTabBar.bottom
|
|
|
|
margin-left: 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
|
2013-01-18 23:39:11 +01:00
|
|
|
@onClick: modules.client_options.hide()
|