Fix bug in Slider, uncaught exception when pressing enter on a blank input

This commit is contained in:
Edwin Jakobs
2020-04-04 18:32:34 +02:00
parent dce734d989
commit c292a63ca4

View File

@@ -162,9 +162,13 @@ class Slider : Element(ElementType("slider")) {
}
if (it.key == KEY_ENTER) {
val number = NumberFormat.getInstance().parse(keyboardInput).toDouble()
if (number != null) {
interactiveValue = number.coerceIn(range.min, range.max)
try {
val number = NumberFormat.getInstance().parse(keyboardInput).toDouble()
if (number != null) {
interactiveValue = number.coerceIn(range.min, range.max)
}
} catch (e : ParseException) {
// -- silently (but safely) ignore the exception
}
keyboardInput = ""
draw.dirty = true