2012-03-27 00:24:01 +02:00
GameSidePanel < UIMiniWindowContainer
2013-01-18 23:39:11 +01:00
image-source: /images/ui/panel_side
2012-03-18 14:34:39 +01:00
image-border: 4
2012-03-28 16:10:21 +02:00
padding: 4
2012-07-13 01:40:55 +02:00
width: 198
2013-01-25 20:26:51 +01:00
layout:
type: verticalBox
//spacing: 1
2012-03-18 14:34:39 +01:00
GameBottomPanel < Panel
2013-01-18 23:39:11 +01:00
image-source: /images/ui/panel_bottom
2012-03-18 14:34:39 +01:00
image-border: 4
GameMapPanel < UIGameMap
padding: 4
2013-01-18 23:39:11 +01:00
image-source: /images/ui/panel_map
2012-03-18 14:34:39 +01:00
image-border: 4
2013-01-25 20:26:51 +01:00
$on:
padding: 0
2012-03-18 14:34:39 +01:00
UIWidget
id: gameRootPanel
2011-08-29 05:04:23 +02:00
anchors.fill: parent
2011-11-02 04:02:56 +01:00
anchors.top: topMenu.bottom
2011-08-29 05:04:23 +02:00
2012-03-23 04:06:00 +01:00
GameMapPanel
id: gameMapPanel
anchors.left: gameLeftPanel.right
anchors.right: gameRightPanel.left
anchors.top: parent.top
anchors.bottom: gameBottomPanel.top
focusable: false
2017-11-19 02:00:02 +01:00
Button
id: showTopMenuButton
anchors.top: parent.top
anchors.left: parent.left
!text: tr('Show Top Menu')
height: 32
visible: false
2012-03-23 04:06:00 +01:00
GameBottomPanel
id: gameBottomPanel
anchors.left: gameLeftPanel.right
anchors.right: gameRightPanel.left
2012-03-26 20:33:00 +02:00
anchors.top: bottomSplitter.top
2012-03-23 04:06:00 +01:00
anchors.bottom: parent.bottom
2012-03-18 14:34:39 +01:00
GameSidePanel
2012-03-26 20:33:00 +02:00
id: gameLeftPanel
anchors.left: parent.left
2011-11-03 10:59:11 +01:00
anchors.top: parent.top
anchors.bottom: parent.bottom
2012-03-23 14:48:05 +01:00
focusable: false
2012-06-21 21:31:22 +02:00
visible: true
on: true
$!on:
width: 0
visible: false
2011-11-03 10:59:11 +01:00
2012-03-18 14:34:39 +01:00
GameSidePanel
2012-03-26 20:33:00 +02:00
id: gameRightPanel
anchors.right: parent.right
2012-03-18 14:34:39 +01:00
anchors.top: parent.top
anchors.bottom: parent.bottom
2012-03-23 14:48:05 +01:00
focusable: false
2012-06-21 21:31:22 +02:00
on: true
2012-03-18 14:34:39 +01:00
2012-03-26 20:33:00 +02:00
Splitter
id: bottomSplitter
anchors.left: gameLeftPanel.right
anchors.right: gameRightPanel.left
anchors.bottom: parent.bottom
relative-margin: bottom
margin-bottom: 172
2013-01-18 23:39:11 +01:00
@canUpdateMargin: function(self, newMargin) if modules.client_options.getOption('dontStretchShrink') then return self:getMarginBottom() end return math.max(math.min(newMargin, self:getParent():getHeight() - 300), 100) end
2012-10-09 02:46:23 +02:00
@onGeometryChange: function(self) self:setMarginBottom(math.min(math.max(self:getParent():getHeight() - 300, 100), self:getMarginBottom())) end
2012-03-26 20:33:00 +02:00
2012-01-24 19:39:16 +01:00
UIWidget
id: mouseGrabber
2012-01-25 15:56:17 +01:00
focusable: false
2017-11-10 17:03:34 +01:00
visible: false