Hi again, as an additional info, I just moved back to my nomal wm (metacity, compiz) and in a gnome-terminal I started 'gnome-shell --replace' and none(!) of the issues I described here seem to appear.
HTH, Hauke
signature.asc
Description: Digital signature
