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.
- added a 'close window' button (as opposed to 'quit' which kills the whole application) - did a fair amount of code refactoring. Before we had one WindowOptionsMenuHandler() object which looked for the Main.panel._appMenu object and added items to the menu. Now we have two objects we're I've tried to separate the menu itself from the object that tries to keep track of Main.panel._appMenu all the time in order to patch it. * WindowOptionsMenuPatch: this is just the menu bit. You feed it in a menu you want it to patch and it will add the items to it (and take care of removing them afterwards). * WindowOptionsMenuHandler: this handles trying to find which object in the Main.panel._leftBox to patch. Also, if the menu gets destroyed (for example in GNOME 3.4 Epiphany will replace appMenu.menu with its own), this object will handle patching the new appMenu.menu.
Looks fine