@mconley That sounds good! What I really want is just for the pip to stay on top in Linux (Gnome, don't know how it is now in other DEs), without having to install an extension for it. As far as I can understand staying on top is a pretty importantpart of a pip feature, so it's really strange to me that it doesn't by default, and that you have to figure out totally on your own how to make it do that. Thanks for listening! :)