'rename' -> RENAME
'nop' -> NOP
'scratchpad' -> SCRATCHPAD
+ 'title_format' -> TITLE_FORMAT
'mode' -> MODE
'bar' -> BAR
ctype = 'con_mark' -> CRITERION
ctype = 'title' -> CRITERION
ctype = 'urgent' -> CRITERION
+ ctype = 'workspace' -> CRITERION
']' -> call cmd_criteria_match_windows(); INITIAL
state CRITERION:
argument = 'toggle', 'on', 'off'
-> call cmd_debuglog($argument)
-# border normal|none|1pixel|toggle|1pixel
+# border normal|pixel [<n>]
+# border none|1pixel|toggle
state BORDER:
border_style = 'normal', 'pixel'
-> BORDER_WIDTH
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:
'show'
-> call cmd_scratchpad_show()
+state TITLE_FORMAT:
+ format = string
+ -> call cmd_title_format($format)
+
# bar (hidden_state hide|show|toggle)|(mode dock|hide|invisible|toggle) [<bar_id>]
state BAR:
bar_type = 'hidden_state'