From b341837df4c2b935d09f8284492f7bbf28dd6057 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jindra=20Pet=C5=99=C3=ADk?= Date: Sun, 13 Oct 2024 19:11:51 +0200 Subject: [PATCH] Tab switcher tab position fix --- src/com/jpexs/decompiler/flash/easygui/TabSwitcher.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/com/jpexs/decompiler/flash/easygui/TabSwitcher.java b/src/com/jpexs/decompiler/flash/easygui/TabSwitcher.java index 3e9e9f013..4aeb92042 100644 --- a/src/com/jpexs/decompiler/flash/easygui/TabSwitcher.java +++ b/src/com/jpexs/decompiler/flash/easygui/TabSwitcher.java @@ -61,8 +61,8 @@ public class TabSwitcher extends JPanel { this.tabComponent = tabComponent; centralPanel = new JPanel(); centralPanel.setLayout(null); - centralPanel.add(tabbedPane); centralPanel.add(tabComponent); + centralPanel.add(tabbedPane); setLayout(new BorderLayout()); add(centralPanel, BorderLayout.CENTER); addComponentListener(new ComponentAdapter() { @@ -97,7 +97,8 @@ public class TabSwitcher extends JPanel { maxH = h; } } - tabbedPane.setBounds(0, 0, centralPanel.getWidth(), maxH); + maxH += 2; + tabbedPane.setBounds(0, 0, centralPanel.getWidth(), maxH + 10); tabComponent.setBounds(0, maxH, centralPanel.getWidth(), centralPanel.getHeight() - maxH); }