From 846898988f191d710b239f1e68172186b79d7b2c Mon Sep 17 00:00:00 2001 From: Ticho Hidding Date: Mon, 8 Dec 2025 15:59:11 +0100 Subject: [PATCH] shitty fix for player selector spacing issue --- app/src/main/java/org/toop/app/App.java | 4 ++-- .../app/widget/complex/PlayerInfoWidget.java | 16 ++++++++++++++-- 2 files changed, 16 insertions(+), 4 deletions(-) diff --git a/app/src/main/java/org/toop/app/App.java b/app/src/main/java/org/toop/app/App.java index 2135733..aea9500 100644 --- a/app/src/main/java/org/toop/app/App.java +++ b/app/src/main/java/org/toop/app/App.java @@ -69,8 +69,8 @@ public final class App extends Application { scene.getRoot(); - stage.setMinWidth(1080); - stage.setMinHeight(720); + stage.setMinWidth(1200); + stage.setMinHeight(800); stage.setOnCloseRequest(event -> { event.consume(); quit(); diff --git a/app/src/main/java/org/toop/app/widget/complex/PlayerInfoWidget.java b/app/src/main/java/org/toop/app/widget/complex/PlayerInfoWidget.java index c69edf4..7a7389d 100644 --- a/app/src/main/java/org/toop/app/widget/complex/PlayerInfoWidget.java +++ b/app/src/main/java/org/toop/app/widget/complex/PlayerInfoWidget.java @@ -23,7 +23,12 @@ public class PlayerInfoWidget { } private ToggleWidget buildToggle() { - return new ToggleWidget( + if(container != null) { + container.setMinHeight(container.getHeight()); + container.setPrefHeight(container.getHeight()); + container.setMaxHeight(container.getHeight()); + } + return new ToggleWidget( "computer", "player", information.isHuman, isHuman -> { @@ -37,7 +42,14 @@ public class PlayerInfoWidget { } private Node buildContent() { + if (information.isHuman) { + var spacer = Primitive.vbox( + makeAIButton(0, 0, "zwartepiet"), + makeAIButton(0, 0, "sinterklaas"), + makeAIButton(0, 0, "santa") + ); //todo make a better solution + spacer.setVisible(false); var nameInput = new LabeledInputWidget( "name", "enter-your-name", @@ -45,7 +57,7 @@ public class PlayerInfoWidget { newName -> information.name = newName ); - return nameInput.getNode(); + return Primitive.vbox(spacer,nameInput.getNode()); } else { var AIBox = Primitive.vbox( makeAIButton(0, 1, "zwartepiet"),