From 60d6dad647bd688e9281b46e86b24d574f130074 Mon Sep 17 00:00:00 2001
From: Hannes Braun <hannes@hannesbraun.net>
Date: Tue, 3 Oct 2023 01:49:46 +0200
Subject: [PATCH] Make team color table scrollable

---
 .../roboviz/gui/windows/config/GeneralPanel.kt             | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/main/kotlin/org/magmaoffenburg/roboviz/gui/windows/config/GeneralPanel.kt b/src/main/kotlin/org/magmaoffenburg/roboviz/gui/windows/config/GeneralPanel.kt
index c2549b62..b0b6a267 100644
--- a/src/main/kotlin/org/magmaoffenburg/roboviz/gui/windows/config/GeneralPanel.kt
+++ b/src/main/kotlin/org/magmaoffenburg/roboviz/gui/windows/config/GeneralPanel.kt
@@ -46,6 +46,7 @@ class GeneralPanel: JPanel() {
         setDefaultRenderer(Color::class.java, ColorRenderer())
         setDefaultEditor(Color::class.java, ColorEditor())
         columnModel.getColumn(1).maxWidth = 30
+        tableHeader = null
     }
     private val addColorButton = JButton("Add")
     private val removeColorButton = JButton("Remove")
@@ -69,6 +70,8 @@ class GeneralPanel: JPanel() {
         }
         this.layout = layout
 
+        val teamColorScrollPanel = JScrollPane(teamColorTable)
+
         layout.setHorizontalGroup(layout
                 .createParallelGroup(GroupLayout.Alignment.LEADING)
 
@@ -89,7 +92,7 @@ class GeneralPanel: JPanel() {
                         .addComponent(teamColorsLabel, 0, GroupLayout.PREFERRED_SIZE, GroupLayout.PREFERRED_SIZE)
                         .addComponent(teamColorsSeparator, 0, GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE.toInt())
                 )
-                .addComponent(teamColorTable, GroupLayout.Alignment.CENTER, 0, 150, GroupLayout.PREFERRED_SIZE)
+                .addComponent(teamColorScrollPanel, GroupLayout.Alignment.CENTER, 0, 200, GroupLayout.PREFERRED_SIZE)
                 .addGroup(layout.createSequentialGroup()
                         .addComponent(addColorButton, 0, GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE.toInt())
                         .addComponent(removeColorButton, 0, GroupLayout.DEFAULT_SIZE, Short.MAX_VALUE.toInt())
@@ -114,7 +117,7 @@ class GeneralPanel: JPanel() {
                         .addComponent(teamColorsLabel)
                         .addComponent(teamColorsSeparator)
                 )
-                .addComponent(teamColorTable)
+                .addComponent(teamColorScrollPanel)
                 .addGroup(layout.createParallelGroup(GroupLayout.Alignment.BASELINE)
                         .addComponent(addColorButton)
                         .addComponent(removeColorButton)