Mercurial > cgi-bin > hgweb.cgi > JpegWasher
comparison src/name/blackcap/exifwasher/Misc.kt @ 54:40911898ed23
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 } |