NOTE: not maintained (by me) since 3.8 or so, looking for new maintainers! Contact me through the repo. You may have some luck with changing the version in 'metadata.json' to your gnome-shell version. Adds window options (always on top, always on visible workspace, ...) to right-click menu of title bar in the panel. Note: this extension may not play well with other extensions that also modify the appMenu, particularly if they destroy it rather than just patching it. If you make sure window options loads *after* the other extensions it might work.
Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?