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
window.c but this doesn't seem to be exposed to the JS interface. Through a bit of trial and error I also seem to be able to call
window.set_property('above',true) but this function appears to do nothing (there is a
'title' property I tested on and using
set_property on this seems to do nothing).
window.c, so I must be able to call
window.set_above(true), but I guess not.