Yeah, the Preferences API is a bit clunky. It has ...

# tornadofx

[edvin]

Yeah, the Preferences API is a bit clunky. It has functions like putBoolean etc, which are kind of meaningless, but we can't override.