# HG changeset patch # User David Barts # Date 1581342907 25200 # Node ID ca8a23bae4fa2f59473168ccc92af143c9546c40 # Parent d14298ef8b0a0840b6275af7028783a472123792 Adjust spacing in preferences. diff -r d14298ef8b0a -r ca8a23bae4fa src/name/blackcap/clipman/SettingsDialog.kt --- a/src/name/blackcap/clipman/SettingsDialog.kt Sun Feb 09 22:13:26 2020 -0700 +++ b/src/name/blackcap/clipman/SettingsDialog.kt Mon Feb 10 06:55:07 2020 -0700 @@ -71,7 +71,7 @@ add(Box(BoxLayout.Y_AXIS).apply { add(Box(BoxLayout.Y_AXIS).apply { alignmentX = Box.CENTER_ALIGNMENT - border = BorderFactory.createEmptyBorder(BW, BW2, BW, BW2) + border = BorderFactory.createEmptyBorder(BW2, BW2, BW, BW2) add(leftLabel("Maximum queue size:")) add(Box.createVerticalStrut(BW)) add(Box(BoxLayout.X_AXIS).apply { @@ -86,7 +86,7 @@ add(JSeparator()) add(Box(BoxLayout.X_AXIS).apply { alignmentX = Box.CENTER_ALIGNMENT - border = BorderFactory.createEmptyBorder(BW, BW2, BW, BW2) + border = BorderFactory.createEmptyBorder(BW, BW2, BW2, BW2) add(Box.createGlue()) add(_cancel) add(Box.createGlue())