Gnome-shell extension that provides reactive screen edges to switch between workspaces (aka desktops). See the Extension Homepage for more information on how to configure it.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
| Version | Status |
|---|---|
| 14 | Active |
| 13 | Rejected |
| 12 | Active |
| 11 | Inactive |
| 10 | Inactive |
| 9 | Inactive |
| 8 | Inactive |
| 7 | Inactive |
| 6 | Inactive |
| 5 | Rejected |
| 4 | Rejected |
| 3 | Rejected |
| 2 | Rejected |
| 1 | Rejected |
This one adds a pref.js and makes configuration options change behavior on runtime. Also it removes some code duplication. I had this version running locally for 2 weeks without any problems. It's my first version since I took over this extension, so I'd appreciate any feedback.
Was missing a key in metadata.json, so it didn't find the schema for prefs.js
Edge-Flipping