Terminal flashes when switching of workspace

[dbrunmeir]

If I open the DD Terminal, and switch applications on different workspaces with Alt + Tab, it disappears and appears again when the animation is done. This doesn't look good.

My proposal is, that the DD Terminal stays visible during the animation, as it looks like an extension of the top-bar and floats over the workspaces.

[zzrough]

Mhh, of course, the terminal should simply stay on top during the animation, but gnome-shell already manage all the windows, and I already gave priority to the terminal window in the stacking order.

After that it's up to the window manager (mutter) to do what it wants with its windows.

I'll try to find out a hack in gnome-shell or mutter if I can.