Hi Everyone, I have had to take a little detour from keeping gnome-inform7 legacy code alive because the workarounds are just not worth putting in place for Ubuntu 20.04 or Fedora 31 and forward. At this point the official gnome-inform7 gtk3 branch is really the best way forward. In the short term, I still needed a working environment for newer Linux distros and created a fully integrated console environment for developing Inform7 works (edit, compile, run, debug all from one place). If you dont mind working inside of a terminal the project might be of interest to you. Open source, installer, full documentation etc are all in the thread linked below.
3 Likes