Missing (partial) window redraw when returning to a window on a different workspace (gnome-shell)
@bberg
Submitted by Benjamin Berg Link to original bug (#775093)
Description
I keep running into the issue that (partial) redraws of windows which are on a different workspace are lost when switching back to that window. I could only observe this with gnome-terminal, but suspect it is a more general issue.
General setup:
- ssh+screen+irssi in one gnome-terminal window
- further terminals on other workspaces (in this case I had one further gnome-terminal on the same workspace)
General steps which lead to the bug:
- work in gnome-terminal on a different workspace from irssi
- get notification about a new highlight (I have a script which does this through ssh)
- switch to the gnome-terminal window using ctrl+^, switching workspace
The result:
- gnome-terminal technically has the keyboard focus
- I can type into irssi, and text appears normally
- gnome-terminal window is styled as if it was not selected (I think it can happen that the title text is redrawn later, but the rest of the window frame is not)
- The message I got the notification for is not displayed; typing into irssi doesn't make it appear as that is only a partial expose of the modified line
- Obviously things will be correct if e.g. a new message arrives or a redraw happens for another reason.
This is all without mouse interaction.
This happens on Debian sid; GNOME shell 3.22.2, GTK+ 3.22.4, libmutter 3.22.2.
Please reassign if this is more likely a shell/mutter/gnome-terminal issue.
Version: 3.22.x