comparison src/name/blackcap/imageprep/OutQualSpinner.kt @ 21:0f3634a0816d

De-uglify SettingsDialog.
author David Barts <n5jrn@me.com>
date Sat, 21 Nov 2020 21:25:05 -0800
parents 71029c9bf7cd
children d3979a2155a8
comparison
equal deleted inserted replaced
20:71029c9bf7cd 21:0f3634a0816d
1 /* 1 /*
2 * A standard spinner for inputting the output quality of a JPEG image. 2 * A standard spinner for inputting the output quality of a JPEG image.
3 */ 3 */
4 package name.blackcap.imageprep 4 package name.blackcap.imageprep
5 5
6 import java.awt.Dimension
6 import java.awt.Toolkit 7 import java.awt.Toolkit
7 import javax.swing.* 8 import javax.swing.*
8 import javax.swing.event.ChangeEvent 9 import javax.swing.event.ChangeEvent
9 import javax.swing.event.ChangeListener 10 import javax.swing.event.ChangeListener
10 import java.util.logging.Level 11 import java.util.logging.Level
15 private val MAXQUAL = 100 16 private val MAXQUAL = 100
16 17
17 class OutQualSpinner(val default: Int): JSpinner(SpinnerNumberModel(default, MINQUAL, MAXQUAL, 1)) 18 class OutQualSpinner(val default: Int): JSpinner(SpinnerNumberModel(default, MINQUAL, MAXQUAL, 1))
18 { 19 {
19 init { 20 init {
20 editor = JSpinner.NumberEditor(this) 21 editor = JSpinner.NumberEditor(this).apply {
22 textField.columns = MAXQUAL.toString().length
23 }
21 value = default 24 value = default
22 noTaller() 25 maximumSize = preferredSize
23 addChangeListener( ChangeListener { 26 addChangeListener( ChangeListener {
24 val v = value as? Int 27 val v = value as? Int
25 if (v == null || v < MINQUAL || v > MAXQUAL) { 28 if (v == null || v < MINQUAL || v > MAXQUAL) {
26 LOGGER.log(Level.INFO, "bad output quality: $value") 29 LOGGER.log(Level.INFO, "bad output quality: $value")
27 value = default 30 value = default