I have been working through a several problems affecting gnome-inform7. The grey out dialog box issue is one of them. I created deb and rpm builds for both ubuntu 16.04, 18.04 and fedora 29 if you would like to try the package, I could use some help testing them out. More details here: Gnome-inform7 6L38 IDE now running on ubuntu 18.04 and fedora 29 (rpm & deb link in thread)
1 Like