<@U14ECM2KV> <@U25U0KPFT> About fonts in Linux: Tr...
# tornadofx
e
@ron @carlw About fonts in Linux: Try the newly released 2017.1, because it comes with JetBrains OpenJDK port.