Unfortunately, this is a known bug and the theming system needs a bit of an overhaul before it can be fixed. There’s more info in Release candidate of Inform 7 IDE for GNOME - testing help wanted - #34 by ptomato
1 Like