2012-03-27 00:24:01 +02:00
|
|
|
GameSidePanel < UIMiniWindowContainer
|
2012-03-18 14:34:39 +01:00
|
|
|
image-source: images/sidepanel.png
|
|
|
|
image-border: 4
|
|
|
|
|
|
|
|
GameBottomPanel < Panel
|
|
|
|
image-source: images/bottompanel.png
|
|
|
|
image-border: 4
|
|
|
|
|
|
|
|
GameMapPanel < UIGameMap
|
|
|
|
padding: 4
|
|
|
|
image-source: images/mappanel.png
|
|
|
|
image-border: 4
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
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
|
|
|
|
width: 0
|
2011-11-03 13:17:10 +01:00
|
|
|
layout: verticalBox
|
2012-03-26 20:33:00 +02:00
|
|
|
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
|
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
|
2012-03-18 14:34:39 +01:00
|
|
|
layout: verticalBox
|
2012-03-26 20:33:00 +02:00
|
|
|
anchors.left: rightSplitter.left
|
|
|
|
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-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
|
2012-03-27 23:33:58 +02:00
|
|
|
@canUpdateMargin: function(self, newMargin) return math.max(math.min(newMargin, self:getParent():getHeight() - 300), 100) end
|
|
|
|
@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
|
|
|
|
|
|
|
Splitter
|
|
|
|
id: rightSplitter
|
|
|
|
anchors.right: parent.right
|
|
|
|
anchors.top: parent.top
|
|
|
|
anchors.bottom: parent.bottom
|
|
|
|
relative-margin: right
|
|
|
|
margin-right: 190
|
2012-03-27 23:33:58 +02:00
|
|
|
@canUpdateMargin: function(self, newMargin) return math.max(math.min(newMargin, self:getParent():getWidth() - 300), 150) end
|
|
|
|
@onGeometryChange: function(self) self:setMarginRight(math.min(math.max(self:getParent():getWidth() - 300, 150), self:getMarginRight())) 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
|
|
|
|
visible: false
|