ctype = 'con_mark' -> CRITERION
ctype = 'title' -> CRITERION
ctype = 'urgent' -> CRITERION
+ ctype = 'workspace' -> CRITERION
']' -> call cmd_criteria_match_windows(); INITIAL
state CRITERION:
state RESIZE:
way = 'grow', 'shrink'
-> RESIZE_DIRECTION
+ set = 'set'
+ -> RESIZE_SET
state RESIZE_DIRECTION:
direction = 'up', 'down', 'left', 'right', 'width', 'height'
'ppt', end
-> call cmd_resize($way, $direction, $resize_px, $resize_ppt)
+state RESIZE_SET:
+ width = word
+ -> RESIZE_WIDTH
+
+state RESIZE_WIDTH:
+ 'px'
+ ->
+ height = word
+ -> RESIZE_HEIGHT
+
+state RESIZE_HEIGHT:
+ 'px', end
+ -> call cmd_size($width, $height)
+
# rename workspace <name> to <name>
# rename workspace to <name>
state RENAME: