Commit Graph

1 Commits (6ba7728136c9abb7e5c54a24b81aefcf97bb9b7e)

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