1.8.65 JDK fixes option keys properly apparently

So you can use option+f as a keyboard shortcut instead of getting a weird ligature added.

@danielcompton: Nice. I’ll see if I can find out what JetBrains’ plan is to upgrade their custom JDK.

https://youtrack.jetbrains.com/oauth?state=%2Fissue%2FIDEA-17392#comment=27-983397

@cfleming more detail there ^

8u60, not u65. Also that JDK isn't even released yet so it may be a while until Jetbrains bundles it

Right, that’s the issue linked in the Cursive issue above.

Oops, missed all of that