Fix map editor gameparameters layout (#2860)

This commit is contained in:
Alexander Korolyov 2020-07-18 23:00:04 +02:00 committed by GitHub
parent 77d741040d
commit bd422fdb16
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -28,9 +28,10 @@ class GameParametersScreen(var mapEditorScreen: MapEditorScreen): IPreviousScree
setDefaultCloseAction(mapEditorScreen)
scrollPane.setScrollingDisabled(true, true)
topTable.add(playerPickerTable)
topTable.add(AutoScrollPane(gameOptionsTable).apply { setScrollingDisabled(true, false) })
.maxHeight(topTable.parent.height).width(stage.width / 2).padTop(20f).top()
topTable.addSeparatorVertical()
topTable.add(gameOptionsTable).row()
topTable.add(playerPickerTable).maxHeight(topTable.parent.height).width(stage.width / 2).padTop(20f).top()
rightSideButton.setText("OK")
rightSideButton.onClick {
mapEditorScreen.gameSetupInfo = gameSetupInfo