Implement 'workspace number <number>' to switch to named workspaces

This commit is contained in:
Michael Stapelberg
2012-04-08 19:17:46 +02:00
parent 42bbdbdfc1
commit 72078c704e
5 changed files with 71 additions and 1 deletions

View File

@ -77,14 +77,21 @@ state APPEND_LAYOUT:
# workspace next|prev|next_on_output|prev_on_output
# workspace back_and_forth
# workspace <name>
# workspace number <number>
state WORKSPACE:
direction = 'next_on_output', 'prev_on_output', 'next', 'prev'
-> call cmd_workspace($direction)
'back_and_forth'
-> call cmd_workspace_back_and_forth()
'number'
-> WORKSPACE_NUMBER
workspace = string
-> call cmd_workspace_name($workspace)
state WORKSPACE_NUMBER:
workspace = string
-> call cmd_workspace_number($workspace)
# focus left|right|up|down
# focus output <output>
# focus tiling|floating|mode_toggle