--- a/src/name/blackcap/clipman/SettingsDialog.kt	Sat Feb 08 23:05:39 2020 -0700
+++ b/src/name/blackcap/clipman/SettingsDialog.kt	Sun Feb 09 19:23:16 2020 -0700
@@ -3,12 +3,6 @@
  */
 package name.blackcap.clipman
 
-import java.awt.Color
-import java.awt.Container
-import java.awt.Dimension
-import java.awt.Font
-import java.awt.GraphicsEnvironment
-import java.awt.Toolkit
 import java.awt.event.ActionEvent
 import java.awt.event.ActionListener
 import java.io.BufferedWriter
@@ -25,55 +19,12 @@
 import kotlin.math.log10
 import kotlin.math.pow
 import kotlin.math.roundToInt
-import kotlin.text.toFloat
 import kotlin.text.toInt
 
 /* work around name shadowing */
 private val _PROPS = PROPERTIES
 
 class SettingsDialog: JDialog(frame.v), ActionListener, ChangeListener {
-    /* the proportional font family */
-    private val _pFamily = JComboBox<String>(FONTS).apply {
-        selectedItem = _PROPS.getString("prop.family")
-        alignmentX = JComboBox.LEFT_ALIGNMENT
-    }
-    val pFamily: String
-    get() {
-        return _pFamily.selectedItem as String
-    }
-
-    /* the proportional font size */
-    private val _pSize = JComboBox<Float>(SIZES).also {
-        it.selectedItem = _PROPS.getFloat("prop.size")
-        it.alignmentX = JComboBox.LEFT_ALIGNMENT
-        it.setEditable(true)
-    }
-    val pSize: Float
-    get() {
-        return _pSize.selectedItem as Float
-    }
-
-    /* the monospaced font family */
-    private val _mFamily = JComboBox<String>(FONTS).apply {
-        selectedItem = _PROPS.getString("mono.family")
-        alignmentX = JComboBox.LEFT_ALIGNMENT
-    }
-    val mFamily: String
-    get() {
-        return _mFamily.selectedItem as String
-    }
-
-    /* the monospaced font size */
-    private val _mSize = JComboBox<Float>(SIZES).also {
-        it.selectedItem = _PROPS.getFloat("mono.size")
-        it.alignmentX = JComboBox.LEFT_ALIGNMENT
-        it.setEditable(true)
-    }
-    val mSize: Float
-    get() {
-        return _mSize.selectedItem as Float
-    }
-
     /* max queue length */
     private val _qLength = _PROPS.getInt("queue.length")
     private val _qlSlider = JSlider(10000, 30000, spinToSlide(_qLength)).also {
@@ -109,59 +60,12 @@
         it.addActionListener(this)
     }
 
-    private val _rad = JButton("Restore All Defaults").also {
-        it.actionCommand = "Restore"
-        it.addActionListener(this)
-    }
-
     /* initializer */
     init {
         title = "Preferences"
         contentPane.apply {
             add(Box(BoxLayout.Y_AXIS).apply {
                 add(Box(BoxLayout.Y_AXIS).apply {
-                    border = BorderFactory.createEmptyBorder(BW2, BW2, BW, BW2)
-                    alignmentX = Box.CENTER_ALIGNMENT
-                    add(leftLabel("Default proportionally-spaced font:"))
-                    add(Box.createVerticalStrut(BW))
-                    add(Box(BoxLayout.X_AXIS).apply {
-                        alignmentX = Box.LEFT_ALIGNMENT
-                        add(Box.createGlue())
-                        add(Box(BoxLayout.Y_AXIS).apply {
-                            add(leftLabel("Family:"))
-                            add(_pFamily)
-                        })
-                        add(Box.createGlue())
-                        add(Box(BoxLayout.Y_AXIS).apply {
-                            add(leftLabel("Size:"))
-                            add(_pSize)
-                        })
-                        add(Box.createGlue())
-                    })
-                })
-                add(JSeparator())
-                add(Box(BoxLayout.Y_AXIS).apply {
-                    alignmentX = Box.CENTER_ALIGNMENT
-                    border = BorderFactory.createEmptyBorder(BW, BW2, BW, BW2)
-                    add(leftLabel("Default monospaced font:"))
-                    add(Box.createVerticalStrut(BW))
-                    add(Box(BoxLayout.X_AXIS).apply {
-                        alignmentX = Box.LEFT_ALIGNMENT
-                        add(Box.createGlue())
-                        add(Box(BoxLayout.Y_AXIS).apply {
-                            add(leftLabel("Family:"))
-                            add(_mFamily)
-                        })
-                        add(Box.createGlue())
-                        add(Box(BoxLayout.Y_AXIS).apply {
-                            add(leftLabel("Size:"))
-                            add(_mSize)
-                        })
-                        add(Box.createGlue())
-                    })
-                })
-                add(JSeparator())
-                add(Box(BoxLayout.Y_AXIS).apply {
                     alignmentX = Box.CENTER_ALIGNMENT
                     border = BorderFactory.createEmptyBorder(BW, BW2, BW, BW2)
                     add(leftLabel("Maximum queue size:"))
@@ -180,8 +84,6 @@
                     alignmentX = Box.CENTER_ALIGNMENT
                     border = BorderFactory.createEmptyBorder(BW, BW2, BW, BW2)
                     add(Box.createGlue())
-                    add(_rad)
-                    add(Box.createGlue())
                     add(_cancel)
                     add(Box.createGlue())
                     add(_ok)
@@ -201,8 +103,10 @@
                 queue.v.maxSize = qLength
                 setVisible(false)
             }
-            "Cancel" -> setVisible(false)
-            "Restore" -> revertProperties()
+            "Cancel" -> {
+                revertValues()
+                setVisible(false)
+            }
         }
     }
 
@@ -222,29 +126,8 @@
         alignmentX = JLabel.LEFT_ALIGNMENT
     }
 
-    private fun badSize(control: JComboBox<Float>, default: Float, fontType: String): Boolean {
-        val size = control.selectedItem as? Float
-        if (size == null || size < 1.0f) {
-            JOptionPane.showMessageDialog(frame.v,
-                "Invalid ${fontType} font size.",
-                "Error",
-                JOptionPane.ERROR_MESSAGE)
-            control.selectedItem = default
-            return true
-        }
-        return false
-    }
-
-    private fun revertProperties()
+    private fun revertValues()
     {
-        val params = arrayOf("mono.family", "mono.size", "prop.family", "prop.size", "queue.length")
-        for (param in params) {
-            _PROPS.put(param, DPROPERTIES.get(param))
-        }
-        _mFamily.selectedItem = _PROPS.getString("mono.family")
-        _mSize.selectedItem = _PROPS.getFloat("mono.size")
-        _pFamily.selectedItem = _PROPS.getString("prop.family")
-        _pSize.selectedItem = _PROPS.getFloat("prop.size")
         val ql = _PROPS.getInt("queue.length")
         _qlSpinner.value = ql
         _qlSlider.value = spinToSlide(ql)
@@ -254,10 +137,6 @@
     {
         try {
             BufferedWriter(OutputStreamWriter(FileOutputStream(PROP_FILE), CHARSET)).use {
-                _PROPS.put("mono.family", mFamily)
-                _PROPS.put("mono.size", mSize.toString())
-                _PROPS.put("prop.family", pFamily)
-                _PROPS.put("prop.size", pSize.toString())
                 _PROPS.put("queue.length", qLength.toString())
                 _PROPS.store(it, null)
             }
@@ -280,5 +159,3 @@
 fun Properties.getString(key: String): String = get(key) as String
 
 fun Properties.getInt(key: String): Int = getString(key).toInt()
-
-fun Properties.getFloat(key: String): Float = getString(key).toFloat()