Fix #24: Provider-Bereich kompakter – VBox-Spacing auf 2px, unteres Padding auf 4px

This commit is contained in:
2026-04-28 06:56:00 +02:00
parent ec23b2455a
commit 4fa4c152a5
3 changed files with 135 additions and 3 deletions
@@ -1646,10 +1646,10 @@ public final class GuiConfigurationEditorWorkspace {
private VBox createProviderBlock(String displayName, AiProviderFamily family) {
String ns = "ai.provider." + family.getIdentifier() + ".";
// Abstände entsprechen dem Pfade-Bereich: VBox-Spacing 4, Padding 8px
VBox block = new VBox(4);
// Kompaktere Provider-Box: VBox-Spacing 2 für engere Feldabstände, unteres Padding 4px
VBox block = new VBox(2);
block.setStyle(
"-fx-padding: 8px; -fx-border-color: #c8c8c8; -fx-border-radius: 6px;"
"-fx-padding: 8px 8px 4px 8px; -fx-border-color: #c8c8c8; -fx-border-radius: 6px;"
+ " -fx-background-radius: 6px; -fx-background-color: #f9f9f9;");
Label title = new Label(displayName);