reassign 878943 gnome-terminal quit mutter version 3.26.2 seems to have corrected the problem for *most* graphical programs -- but not for gnome-terminal. I am therefore reassigning this bug to gnome-terminal.