thinner tabs
This commit is contained in:
parent
1ba568fb88
commit
b193ff649a
@ -15,7 +15,7 @@ import java.io.InputStreamReader;
|
|||||||
*/
|
*/
|
||||||
public class MainApp {
|
public class MainApp {
|
||||||
|
|
||||||
public static final String APP_VERSION = "1.2.6";
|
public static final String APP_VERSION = "1.2.7";
|
||||||
|
|
||||||
public enum OS {
|
public enum OS {
|
||||||
WINDOWS, LINUX, MACOS, UNKNOWN
|
WINDOWS, LINUX, MACOS, UNKNOWN
|
||||||
|
|||||||
@ -78,6 +78,7 @@ public class FilePanel extends JPanel {
|
|||||||
tabbedPane = new JTabbedPane();
|
tabbedPane = new JTabbedPane();
|
||||||
tabbedPane.putClientProperty("JTabbedPane.showTabSeparators", true);
|
tabbedPane.putClientProperty("JTabbedPane.showTabSeparators", true);
|
||||||
tabbedPane.putClientProperty("JTabbedPane.hasFullBorder", true);
|
tabbedPane.putClientProperty("JTabbedPane.hasFullBorder", true);
|
||||||
|
tabbedPane.putClientProperty("JTabbedPane.tabHeight", 24);
|
||||||
setLayout(new BorderLayout());
|
setLayout(new BorderLayout());
|
||||||
setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
|
setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
|
||||||
|
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user