Anyone else having an issue where Inform 7 for linux occasionally closes when you do ctrl-r to run the interpreted game? I’m using Linux Mint 18.1 Cinnamon.
Yup. I gave up on the GUI years ago and work entirely from the command line now.
I’m not 100% certain, but it may be a fonts issue. In my case crashes seem to have gone possibly due to changing fonts in the preferences. I’ve posted an issue about this in this forum here.