<@U5HT6HNF2> Actually I switched from openjdk7 to ...
# announcementsm
mfiano
07/18/2017, 7:30 PM@tulio Actually I switched from openjdk7 to 8 and the problem seemed to fix itself.
👍 1
a
agomez
07/18/2017, 7:32 PMdid you try de embedded jre?
agomez
07/18/2017, 7:32 PMidea linux distribution includes their own fork of open jdk
m
mfiano
07/18/2017, 7:33 PMI don't know how to do all that. I'm new to Java entirely. But regardless, everything is working great now, aside a problem I have learning Kotlin I can't seem to find an answer to, but that's another topic.
a
agomez
07/18/2017, 7:33 PMif you go to idea -> help -> about
agomez
07/18/2017, 7:33 PMwhat jvm version do you see?
m
mfiano
07/18/2017, 7:34 PMhttps://img.axity.net/ss/img-20170718153430.png▾
a
agomez
07/18/2017, 7:37 PMi see
JVM: OpenJDK 64-Bit Server VM by JetBrains s.r.om
mfiano
07/18/2017, 7:37 PMYeah the JetBrains version has some optimizations to it for font ligatures and such.