https://github.com/jodersky/toggle-workspace

Gnome 3 extension enabling fast switching between the current and primary workspaces.
https://github.com/jodersky/toggle-workspace

Last synced: 26 days ago
JSON representation

Gnome 3 extension enabling fast switching between the current and primary workspaces.

• Host: GitHub
• URL: https://github.com/jodersky/toggle-workspace
• Owner: jodersky
• Created: 2015-04-26T13:48:13.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-04-26T13:57:47.000Z (over 9 years ago)
• Last Synced: 2024-05-01T20:29:58.991Z (6 months ago)
• Language: JavaScript
• Size: 125 KB
• Stars: 2
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Toggle Workspace Gnome 3 Extension

This extension provides a keyboard shortcut (default is ```````) to toggle between the current workspace and the first.

Its intended use is to boost productivity by using the first workspace exclusively for an often-used application, such as a browser, users can then quickly switch between their current activity and the other main application.

# Author

This extension was developped by Jakob Odersky. Essential information on keybindings was taken from [vibou.gTile](https://github.com/vibou/vibou.gTile), by

[Vincent Bouvier](https://github.com/vibou).

# Copying

Copyright (C) 2015 Jakob Odersky

This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License version 2 as published by the Free Software Foundation.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.