2012-03-27 00:24:01 +02:00
|
|
|
GameSidePanel < UIMiniWindowContainer
|
2012-06-20 02:15:56 +02:00
|
|
|
image-source: /images/sidepanel.png
|
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
|
2012-03-18 14:34:39 +01:00
|
|
|
|
|
|
|
GameBottomPanel < Panel
|
2012-06-20 02:15:56 +02:00
|
|
|
image-source: /images/bottompanel.png
|
2012-03-18 14:34:39 +01:00
|
|
|
image-border: 4
|
|
|
|
|
|
|
|
GameMapPanel < UIGameMap
|
|
|
|
padding: 4
|
2012-06-20 02:15:56 +02:00
|
|
|
image-source: /images/mappanel.png
|
2012-03-18 14:34:39 +01:00
|
|
|
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
|
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
|
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
|
2012-03-18 14:34:39 +01:00
|
|
|
layout: verticalBox
|
2012-03-26 20:33:00 +02:00
|
|
|
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
|
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
|
|
|
|
2012-01-24 19:39:16 +01:00
|
|
|
UIWidget
|
|
|
|
id: mouseGrabber
|
2012-01-25 15:56:17 +01:00
|
|
|
focusable: false
|
|
|
|
visible: false
|