comparison src/name/blackcap/exifwasher/WashDialog.kt @ 54:40911898ed23

Fix multiple border glitches.
author davidb
date Thu, 07 May 2020 14:05:40 -0700
parents 3d9c36307704
children
comparison
equal deleted inserted replaced
53:61a06e050bac 54:40911898ed23
251 add(Box(BoxLayout.Y_AXIS).apply { 251 add(Box(BoxLayout.Y_AXIS).apply {
252 alignmentX = Box.CENTER_ALIGNMENT 252 alignmentX = Box.CENTER_ALIGNMENT
253 border = BorderFactory.createEmptyBorder(BW, BW, BW, BW) 253 border = BorderFactory.createEmptyBorder(BW, BW, BW, BW)
254 add(JScrollPane(myTable).apply { 254 add(JScrollPane(myTable).apply {
255 alignmentX = JScrollPane.LEFT_ALIGNMENT 255 alignmentX = JScrollPane.LEFT_ALIGNMENT
256 border = BorderFactory.createEmptyBorder(BW, BW, BW, BW) 256 addBorder(BorderFactory.createEmptyBorder(BW, BW, BW, BW))
257 verticalScrollBarPolicy = ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS 257 verticalScrollBarPolicy = ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS
258 horizontalScrollBarPolicy = ScrollPaneConstants.HORIZONTAL_SCROLLBAR_ALWAYS 258 horizontalScrollBarPolicy = ScrollPaneConstants.HORIZONTAL_SCROLLBAR_ALWAYS
259 preferredSize = Dimension(WIDTH, HEIGHT) 259 preferredSize = Dimension(WIDTH, HEIGHT)
260 background = Application.mainFrame.background 260 background = Application.mainFrame.background
261 }) 261 })