Mercurial > cgi-bin > hgweb.cgi > JpegWasher

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix multiple border glitches.
author davidb
date Thu, 07 May 2020 14:05:40 -0700
parents cd2ca4727b7f
children f5faf70c7d10
comparison
equal deleted inserted replaced
53:61a06e050bac 54:40911898ed23
11 import java.awt.Graphics 11 import java.awt.Graphics
12 import java.awt.Point 12 import java.awt.Point
13 import java.awt.Toolkit 13 import java.awt.Toolkit
14 import java.awt.event.MouseEvent 14 import java.awt.event.MouseEvent
15 import javax.swing.* 15 import javax.swing.*
16 import javax.swing.border.Border
16 import javax.swing.table.TableColumnModel 17 import javax.swing.table.TableColumnModel
17 import kotlin.annotation.* 18 import kotlin.annotation.*
18 import kotlin.properties.ReadWriteProperty 19 import kotlin.properties.ReadWriteProperty
19 import kotlin.reflect.* 20 import kotlin.reflect.*
20 21
217 val actual = columnModel.getColumn(col).width 218 val actual = columnModel.getColumn(col).width
218 return if (needed > actual) contents else null 219 return if (needed > actual) contents else null
219 } 220 }
220 } 221 }
221 222
223 /**
224 * Add a border to a JComponent. The new border is in addition to (and outside
225 * of) whatever existing standard border the component had.
226 */
227 fun JComponent.addBorder(b: Border) {
228 if (border == null)
229 border = b
230 else
231 border = BorderFactory.createCompoundBorder(b, border)
232 }