Commit Graph

1 Commits (7270f6e96fc4cd75859fd48dc80bcb8902ae1614)

Author SHA1 Message Date
Tony Crisci cbd51ce664 Workspace command number selection
If a `workspace {N}` or `move to workspace {N}` command is given with N
as a plain number, the workspace of this number is selected for the
context of the command if one exists and there is no workspace with a
name that exactly matches N.
2014-06-23 21:30:07 +02:00