r4zzz4k
12/21/2017, 12:00 PMedvin
12/21/2017, 12:01 PMfilterInput
function and I'm pushing a snapshot to sonatype as well 🙂ron
12/21/2017, 12:01 PMedvin
12/21/2017, 12:03 PMron
12/21/2017, 12:05 PMedvin
12/21/2017, 12:07 PMfilterInput { it.text.isLong() }
edvin
12/21/2017, 12:08 PMit.text.isInt()
instead 🙂ron
12/21/2017, 12:09 PMedvin
12/21/2017, 12:12 PMedvin
12/21/2017, 12:12 PMron
12/21/2017, 12:13 PMedvin
12/21/2017, 12:13 PMron
12/21/2017, 12:17 PMedvin
12/21/2017, 12:18 PMron
12/21/2017, 12:19 PMron
12/21/2017, 12:19 PMedvin
12/21/2017, 12:19 PMedvin
12/21/2017, 12:19 PMfilterInput { it.text == "." || it.text.isInt() }
ron
12/21/2017, 12:20 PMedvin
12/21/2017, 12:21 PMisFloat()
text would allow you to PASTE a float. The decimal sign (, or .) to accept is up to you. You could get that from the locale if you need to.ron
12/21/2017, 12:21 PMedvin
12/21/2017, 12:21 PMron
12/21/2017, 12:22 PMron
12/21/2017, 12:23 PMron
12/21/2017, 12:23 PMimage.png▾
edvin
12/21/2017, 12:24 PMedvin
12/21/2017, 12:25 PMfilterInput { (it.text == "." && !text.contains(".")) || it.text.isInt() }
edvin
12/21/2017, 12:25 PM!text.contains(".")
checks to see if we already have a dot.edvin
12/21/2017, 12:28 PM