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.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
This is the no-prefs-widget version, best diff'd against v3 (it's the GNOME 3.2 version but metadata.json has 3.4 and 3.6 because it also does work there. The next version I'll upload, v6, is compatible with 3.4 and 3.6 but has a prefs widget). Please if this is to be accepted, could it please be accepted before v6? Otherwise this one will mask v6 (since its compatibility is a superset of that), preventing 3.4 and 3.6 users from using the prefs widget on v6. Main changes: * Added translations (using the mutter translations for the window menu items). (Well, I think this is new, but I might have added it in v3/v4...just been so long since I've worked on this extension) * Turned the 'maximize/unmaximize' items (previously two) into one alternating item (switchse between "Maximize" and "Unmaximize"). The always on top button/always on this workspace button can do this too.
Window options