From b193ff649a04aecbc068a8f82c7fc8ef18240bde Mon Sep 17 00:00:00 2001
From: Radek Davidek <rdavidek@trask.cz>
Date: Thu, 26 Mar 2026 18:37:45 +0100
Subject: [PATCH] thinner tabs

---
 src/main/java/cz/kamma/kfmanager/MainApp.java      | 2 +-
 src/main/java/cz/kamma/kfmanager/ui/FilePanel.java | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/main/java/cz/kamma/kfmanager/MainApp.java b/src/main/java/cz/kamma/kfmanager/MainApp.java
index 92cd6da..2e30251 100644
--- a/src/main/java/cz/kamma/kfmanager/MainApp.java
+++ b/src/main/java/cz/kamma/kfmanager/MainApp.java
@@ -15,7 +15,7 @@ import java.io.InputStreamReader;
  */
 public class MainApp {
 
-    public static final String APP_VERSION = "1.2.6";
+    public static final String APP_VERSION = "1.2.7";
     
     public enum OS {
         WINDOWS, LINUX, MACOS, UNKNOWN
diff --git a/src/main/java/cz/kamma/kfmanager/ui/FilePanel.java b/src/main/java/cz/kamma/kfmanager/ui/FilePanel.java
index 8018ef4..1701889 100644
--- a/src/main/java/cz/kamma/kfmanager/ui/FilePanel.java
+++ b/src/main/java/cz/kamma/kfmanager/ui/FilePanel.java
@@ -78,6 +78,7 @@ public class FilePanel extends JPanel {
         tabbedPane = new JTabbedPane();
         tabbedPane.putClientProperty("JTabbedPane.showTabSeparators", true);
         tabbedPane.putClientProperty("JTabbedPane.hasFullBorder", true);
+        tabbedPane.putClientProperty("JTabbedPane.tabHeight", 24);
         setLayout(new BorderLayout());
         setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));