comparison src/name/blackcap/clipman/SettingsDialog.kt @ 45:ca8a23bae4fa

Adjust spacing in preferences.
author David Barts <n5jrn@me.com>
date Mon, 10 Feb 2020 06:55:07 -0700
parents d14298ef8b0a
children 19d9da731c43
comparison
equal deleted inserted replaced
44:d14298ef8b0a 45:ca8a23bae4fa
69 title = "Preferences" 69 title = "Preferences"
70 contentPane.apply { 70 contentPane.apply {
71 add(Box(BoxLayout.Y_AXIS).apply { 71 add(Box(BoxLayout.Y_AXIS).apply {
72 add(Box(BoxLayout.Y_AXIS).apply { 72 add(Box(BoxLayout.Y_AXIS).apply {
73 alignmentX = Box.CENTER_ALIGNMENT 73 alignmentX = Box.CENTER_ALIGNMENT
74 border = BorderFactory.createEmptyBorder(BW, BW2, BW, BW2) 74 border = BorderFactory.createEmptyBorder(BW2, BW2, BW, BW2)
75 add(leftLabel("Maximum queue size:")) 75 add(leftLabel("Maximum queue size:"))
76 add(Box.createVerticalStrut(BW)) 76 add(Box.createVerticalStrut(BW))
77 add(Box(BoxLayout.X_AXIS).apply { 77 add(Box(BoxLayout.X_AXIS).apply {
78 alignmentX = Box.LEFT_ALIGNMENT 78 alignmentX = Box.LEFT_ALIGNMENT
79 add(Box.createGlue()) 79 add(Box.createGlue())
84 }) 84 })
85 }) 85 })
86 add(JSeparator()) 86 add(JSeparator())
87 add(Box(BoxLayout.X_AXIS).apply { 87 add(Box(BoxLayout.X_AXIS).apply {
88 alignmentX = Box.CENTER_ALIGNMENT 88 alignmentX = Box.CENTER_ALIGNMENT
89 border = BorderFactory.createEmptyBorder(BW, BW2, BW, BW2) 89 border = BorderFactory.createEmptyBorder(BW, BW2, BW2, BW2)
90 add(Box.createGlue()) 90 add(Box.createGlue())
91 add(_cancel) 91 add(_cancel)
92 add(Box.createGlue()) 92 add(Box.createGlue())
93 add(_ok) 93 add(_ok)
94 add(Box.createGlue()) 94 add(Box.createGlue())