mirror of
https://github.com/2OOP/pism.git
synced 2026-02-04 10:54:51 +00:00
shitty fix for player selector spacing issue v2
This commit is contained in:
@@ -23,11 +23,6 @@ public class PlayerInfoWidget {
|
|||||||
}
|
}
|
||||||
|
|
||||||
private ToggleWidget buildToggle() {
|
private ToggleWidget buildToggle() {
|
||||||
if(container != null) {
|
|
||||||
container.setMinHeight(container.getHeight());
|
|
||||||
container.setPrefHeight(container.getHeight());
|
|
||||||
container.setMaxHeight(container.getHeight());
|
|
||||||
}
|
|
||||||
return new ToggleWidget(
|
return new ToggleWidget(
|
||||||
"computer", "player",
|
"computer", "player",
|
||||||
information.isHuman,
|
information.isHuman,
|
||||||
|
|||||||
Reference in New Issue
Block a user