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.

Reply via email to