1
vote
1answer
411 views

set window properties (above, on all workspaces) in js/gnome-shell-extension?

As part of teaching myself how to make gnome-shell-extensions, I'd like to be able to tell a window to be on all workspaces on on top of all other windows. I notice in the mutter API there is a ...