moparisthebest/filebot
1
0
Fork 0
mirror of https://github.com/mitb-archive/filebot synced 2024-08-13 17:03:45 -04:00
Code Issues Releases Wiki Activity

Fix Windows 10 button padding

Browse Source
This commit is contained in:
Reinhard Pointner 2017-05-26 13:29:00 +08:00
parent 8fafe666c2
commit eaa038c66e
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
source/net/filebot/ui/rename/RenameList.java
View File

@ -42,7 +42,7 @@ class RenameList<E> extends FileBotList<E> {
getRemoveAction().setEnabled(true);
buttonPanel = new JPanel(new MigLayout("insets 1.2mm, nogrid, novisualpadding, fill", "align center"));
buttonPanel.add(createImageButton(downAction), "gap 10px, sgy button");
buttonPanel.add(createImageButton(downAction), "sgy button");
buttonPanel.add(createImageButton(upAction), "gap 0, sgy button");
buttonPanel.add(createLoadButton(), "gap 10px, sgy button");

3
source/net/filebot/util/ui/SwingUI.java
View File

@ -158,6 +158,9 @@ public final class SwingUI {
button.setVerticalTextPosition(SwingConstants.BOTTOM);
button.setOpaque(false);
// fix Windows 10 button padding
button.setMaximumSize(new Dimension(36, 36));
if (Settings.isMacApp()) {
button.setPreferredSize(new Dimension(28, 27));
} else {