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 prefs widget version, best diff'd against v4 (v5 is in the same but with no prefs widget; it's really for the GNOME 3.2 people). Please, if this is to be accepted, could it please be accepted **after** v5? Otherwise v6 will mask this one (it is also compatible with 3.4 and 3.6, but additionally 3.2, but I prefer *this* (v6) to be the most recent 3.4/3.6 extension so that users get the prefs widget) 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