2012-03-18 14:34:39 +01:00
|
|
|
GameSidePanel < Panel
|
|
|
|
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
|
|
|
|
|
|
|
|
UISplitter
|
|
|
|
id: mapSplitter
|
|
|
|
anchors.left: gameLeftPanel.right
|
|
|
|
anchors.right: gameRightPanel.left
|
|
|
|
anchors.bottom: parent.bottom
|
|
|
|
relative-margin: bottom
|
|
|
|
margin-bottom: 172
|
|
|
|
height: 4
|
|
|
|
margin-top: -2
|
|
|
|
@canUpdateMargin: function(self, newMargin) return math.min(math.max(newMargin, 100), self:getParent():getHeight() - 300) end
|
2012-03-23 14:48:05 +01:00
|
|
|
@onGeometryChange: function(self) self:setMarginBottom(math.min(self:getParent():getHeight() - 300, self:getMarginBottom())) end
|
2012-03-23 04:06:00 +01:00
|
|
|
|
|
|
|
GameBottomPanel
|
|
|
|
id: gameBottomPanel
|
|
|
|
anchors.left: gameLeftPanel.right
|
|
|
|
anchors.right: gameRightPanel.left
|
|
|
|
anchors.top: mapSplitter.top
|
|
|
|
anchors.bottom: parent.bottom
|
|
|
|
|
2012-03-18 14:34:39 +01:00
|
|
|
GameSidePanel
|
2012-01-13 21:37:44 +01:00
|
|
|
id: gameRightPanel
|
2012-03-18 14:34:39 +01:00
|
|
|
width: 190
|
2011-11-03 13:17:10 +01:00
|
|
|
layout: verticalBox
|
2011-11-03 10:59:11 +01:00
|
|
|
anchors.right: parent.right
|
|
|
|
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
|
|
|
|
id: gameLeftPanel
|
2012-03-22 22:47:52 +01:00
|
|
|
width: 0
|
2012-03-18 14:34:39 +01:00
|
|
|
layout: verticalBox
|
|
|
|
anchors.left: parent.left
|
|
|
|
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-01-24 19:39:16 +01:00
|
|
|
UIWidget
|
|
|
|
id: mouseGrabber
|
2012-01-25 15:56:17 +01:00
|
|
|
focusable: false
|
|
|
|
visible: false
|