Since I’ve had no luck creating my own account on the Mantis bug-tracker, would someone kindly repost this bug report for me?
I’m running Linux Mint 19.2 “Tina”, using the Mate desktop.
The Inform 7 IDE opens as it should and seems to run okay (It does tend to crash when compiling small projects, but I’m used to that.)
However at some point it seems to interfere with the display manager (I think.) What happens is that the taskbar ceases to be displayed, and there’s a gap (showing the desktop background) between the edge of the I7 window and the edge of the screen. The functionality of the taskbar remains: if I click on the area where the Menu button would be, then the Menu appears, and I’m able to select most programs and launch them as usual.
One that doesn’t work as usual is “Quit”. Clicking on the Quit entry usually launches a small central window with the options Log Out, Cancel, Shut Down etc, but this central window doesn’t open, and I have to wait until the auto countdown triggers shutdown.