I tried to install gnome-shell-common gnome-shell and gnome-shell-extension-prefs 43.0.2. This did not succeed because of failing login (protocol)?
Then I compiled source gnome-shell 43.0.2 and installed at /usr/local... I verified the version with gnome-shell --version.This downgrade did not change anything. So gnome-shell itself is not the problem.
Subframes seem to be rendered OK, but old, already deleted subframes are repeatedly shown.
Do not know how to investigate further. Upstream??
