Hi Mage of Maple, I have been working through the problems in your post and have implemented some workarounds in the gnome-inform7 source code. I created deb and rpm builds for both ubuntu 18.04 and fedora 29 if you would like to try the package out. More details here: Gnome-inform7 6L38 IDE now running on ubuntu 18.04 and fedora 29
1 Like