Show the server map pool in the client map chooser.

Maps that aren't installed are queried from the resource center.
This commit is contained in:
Paul Chote
2023-10-31 19:20:00 +00:00
committed by Gustas
parent 72646fc7ff
commit 2e5ef7f059
12 changed files with 188 additions and 29 deletions

View File

@@ -19,6 +19,13 @@ Background@MAPCHOOSER_PANEL:
Width: 140
Text: button-mapchooser-panel-system-maps-tab
Font: Bold
Button@REMOTE_MAPS_TAB_BUTTON:
X: 20
Y: 48
Height: 31
Width: 140
Text: button-mapchooser-panel-remote-maps-tab
Font: Bold
Button@USER_MAPS_TAB_BUTTON:
X: 160
Y: 48
@@ -39,6 +46,13 @@ Background@MAPCHOOSER_PANEL:
ScrollPanel@MAP_LIST:
Width: PARENT_RIGHT
Height: PARENT_BOTTOM
Container@REMOTE_MAPS_TAB:
Width: PARENT_RIGHT
Height: PARENT_BOTTOM
Children:
ScrollPanel@MAP_LIST:
Width: PARENT_RIGHT
Height: PARENT_BOTTOM
Container@USER_MAPS_TAB:
Width: PARENT_RIGHT
Height: PARENT_BOTTOM
@@ -150,6 +164,13 @@ Background@MAPCHOOSER_PANEL:
Height: 25
Text: button-mapchooser-panel-delete-all-maps
Font: Bold
Label@REMOTE_MAP_LABEL:
X: 140
Y: PARENT_BOTTOM - HEIGHT - 20
Width: PARENT_RIGHT - 410
Height: 25
Align: Center
Font: Bold
Button@BUTTON_OK:
X: PARENT_RIGHT - 270
Y: PARENT_BOTTOM - 45