'split' -> SPLIT
'floating' -> FLOATING
'mark' -> MARK
+ 'unmark' -> UNMARK
'resize' -> RESIZE
'rename' -> RENAME
'nop' -> NOP
mark = string
-> call cmd_mark($mark)
+# unmark [mark]
+state UNMARK:
+ end
+ -> call cmd_unmark($mark)
+ mark = string
+ -> call cmd_unmark($mark)
+
# resize
state RESIZE:
way = 'grow', 'shrink'
-> call cmd_resize($way, $direction, $resize_px, "10")
state RESIZE_TILING_OR:
- 'ppt'
- ->
resize_ppt = word
- ->
- end
+ -> RESIZE_TILING_FINAL
+
+state RESIZE_TILING_FINAL:
+ 'ppt', end
-> call cmd_resize($way, $direction, $resize_px, $resize_ppt)
# rename workspace <name> to <name>