blob: ca78db9be552466508f5bcb47ab707e613878e23 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Toggle Workspace Gnome 3 Extension
This extension provides a keyboard shortcut (default is ```<Alt>````) 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/.
|
