Alejandro Angulo 07c2efc0a1 Enabled easier workspace switching ... Can now hit the shortcut for the current workspace to jump to the previous workspace. Now if I go from workspace 1 to workspace 5, I can hit the shortcut for workspace 5 (while still in workspace 5) to jump back to workspace 1 (don't have to remember which workspace I came from).		2022-11-13 08:26:23 -08:00
..
alejandro	Enabled easier workspace switching	2022-11-13 08:26:23 -08:00