+ height = number
+ -> RESIZE_HEIGHT
+
+state RESIZE_HEIGHT:
+ 'px', end
+ -> call cmd_resize_set(&width, &height)
+
+# rename workspace <name> to <name>
+# rename workspace to <name>
+state RENAME:
+ 'workspace'
+ -> RENAME_WORKSPACE
+
+state RENAME_WORKSPACE:
+ old_name = 'to'
+ -> RENAME_WORKSPACE_LIKELY_TO
+ old_name = word
+ -> RENAME_WORKSPACE_TO
+
+state RENAME_WORKSPACE_LIKELY_TO:
+ 'to'
+ -> RENAME_WORKSPACE_NEW_NAME
+ new_name = word
+ -> call cmd_rename_workspace(NULL, $new_name)
+
+state RENAME_WORKSPACE_TO:
+ 'to'
+ -> RENAME_WORKSPACE_NEW_NAME
+
+state RENAME_WORKSPACE_NEW_NAME: