477 lines
11 KiB
Ruby
477 lines
11 KiB
Ruby
# vim:ts=2:sw=2:expandtab
|
|
#
|
|
# i3 - an improved dynamic tiling window manager
|
|
# © 2009 Michael Stapelberg and contributors (see also: LICENSE)
|
|
#
|
|
# parser-specs/commands.spec: Specification file for generate-command-parser.pl
|
|
# which will generate the appropriate header files for our C parser.
|
|
#
|
|
# Use :source highlighting.vim in vim to get syntax highlighting
|
|
# for this file.
|
|
|
|
state INITIAL:
|
|
# We have an end token here for all the commands which just call some
|
|
# function without using an explicit 'end' token.
|
|
end ->
|
|
'[' -> call cmd_criteria_init(); CRITERIA
|
|
'move' -> MOVE
|
|
'exec' -> EXEC
|
|
'exit' -> call cmd_exit()
|
|
'restart' -> call cmd_restart()
|
|
'reload' -> call cmd_reload()
|
|
'shmlog' -> SHMLOG
|
|
'debuglog' -> DEBUGLOG
|
|
'border' -> BORDER
|
|
'layout' -> LAYOUT
|
|
'append_layout' -> APPEND_LAYOUT
|
|
'workspace' -> WORKSPACE
|
|
'focus' -> FOCUS
|
|
'kill' -> KILL
|
|
'open' -> call cmd_open()
|
|
'fullscreen' -> FULLSCREEN
|
|
'sticky' -> STICKY
|
|
'split' -> SPLIT
|
|
'floating' -> FLOATING
|
|
'mark' -> MARK
|
|
'unmark' -> UNMARK
|
|
'resize' -> RESIZE
|
|
'rename' -> RENAME
|
|
'nop' -> NOP
|
|
'scratchpad' -> SCRATCHPAD
|
|
'swap' -> SWAP
|
|
'title_format' -> TITLE_FORMAT
|
|
'mode' -> MODE
|
|
'bar' -> BAR
|
|
|
|
state CRITERIA:
|
|
ctype = 'class' -> CRITERION
|
|
ctype = 'instance' -> CRITERION
|
|
ctype = 'window_role' -> CRITERION
|
|
ctype = 'con_id' -> CRITERION
|
|
ctype = 'id' -> CRITERION
|
|
ctype = 'window_type' -> CRITERION
|
|
ctype = 'con_mark' -> CRITERION
|
|
ctype = 'title' -> CRITERION
|
|
ctype = 'urgent' -> CRITERION
|
|
ctype = 'workspace' -> CRITERION
|
|
ctype = 'tiling', 'floating'
|
|
-> call cmd_criteria_add($ctype, NULL); CRITERIA
|
|
']' -> call cmd_criteria_match_windows(); INITIAL
|
|
|
|
state CRITERION:
|
|
'=' -> CRITERION_STR
|
|
|
|
state CRITERION_STR:
|
|
cvalue = word
|
|
-> call cmd_criteria_add($ctype, $cvalue); CRITERIA
|
|
|
|
# exec [--no-startup-id] <command>
|
|
state EXEC:
|
|
nosn = '--no-startup-id'
|
|
->
|
|
command = string
|
|
-> call cmd_exec($nosn, $command)
|
|
|
|
# shmlog <size>|toggle|on|off
|
|
state SHMLOG:
|
|
# argument may be a number
|
|
argument = string
|
|
-> call cmd_shmlog($argument)
|
|
|
|
# debuglog toggle|on|off
|
|
state DEBUGLOG:
|
|
argument = 'toggle', 'on', 'off'
|
|
-> call cmd_debuglog($argument)
|
|
|
|
# border normal|pixel [<n>]
|
|
# border none|1pixel|toggle
|
|
state BORDER:
|
|
border_style = 'normal', 'pixel', 'toggle'
|
|
-> BORDER_WIDTH
|
|
border_style = 'none'
|
|
-> call cmd_border($border_style, 0)
|
|
'1pixel'
|
|
-> call cmd_border("pixel", 1)
|
|
|
|
state BORDER_WIDTH:
|
|
end
|
|
-> call cmd_border($border_style, -1)
|
|
border_width = number
|
|
-> call cmd_border($border_style, &border_width)
|
|
|
|
# layout default|stacked|stacking|tabbed|splitv|splith
|
|
# layout toggle [split|all]
|
|
state LAYOUT:
|
|
layout_mode = 'default', 'stacked', 'stacking', 'tabbed', 'splitv', 'splith'
|
|
-> call cmd_layout($layout_mode)
|
|
'toggle'
|
|
-> LAYOUT_TOGGLE
|
|
|
|
# layout toggle [split|all]
|
|
state LAYOUT_TOGGLE:
|
|
end
|
|
-> call cmd_layout_toggle($toggle_mode)
|
|
toggle_mode = string
|
|
-> call cmd_layout_toggle($toggle_mode)
|
|
|
|
# append_layout <path>
|
|
state APPEND_LAYOUT:
|
|
path = string -> call cmd_append_layout($path)
|
|
|
|
# workspace next|prev|next_on_output|prev_on_output
|
|
# workspace back_and_forth
|
|
# workspace [--no-auto-back-and-forth] <name>
|
|
# workspace [--no-auto-back-and-forth] number <number>
|
|
state WORKSPACE:
|
|
no_auto_back_and_forth = '--no-auto-back-and-forth'
|
|
->
|
|
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, $no_auto_back_and_forth)
|
|
|
|
state WORKSPACE_NUMBER:
|
|
workspace = string
|
|
-> call cmd_workspace_number($workspace, $no_auto_back_and_forth)
|
|
|
|
# focus left|right|up|down
|
|
# focus output <output>
|
|
# focus tiling|floating|mode_toggle
|
|
# focus parent|child
|
|
# focus
|
|
state FOCUS:
|
|
direction = 'left', 'right', 'up', 'down'
|
|
-> call cmd_focus_direction($direction)
|
|
direction = 'prev', 'next'
|
|
-> FOCUS_AUTO
|
|
'output'
|
|
-> FOCUS_OUTPUT
|
|
window_mode = 'tiling', 'floating', 'mode_toggle'
|
|
-> call cmd_focus_window_mode($window_mode)
|
|
level = 'parent', 'child'
|
|
-> call cmd_focus_level($level)
|
|
end
|
|
-> call cmd_focus()
|
|
|
|
state FOCUS_AUTO:
|
|
'sibling'
|
|
-> call cmd_focus_sibling($direction)
|
|
end
|
|
-> call cmd_focus_direction($direction)
|
|
|
|
state FOCUS_OUTPUT:
|
|
output = string
|
|
-> call cmd_focus_output($output)
|
|
|
|
# kill [window|client]
|
|
state KILL:
|
|
kill_mode = 'window', 'client'
|
|
-> call cmd_kill($kill_mode)
|
|
end
|
|
-> call cmd_kill($kill_mode)
|
|
|
|
# fullscreen enable|toggle [global]
|
|
# fullscreen disable
|
|
# fullscreen [global]
|
|
state FULLSCREEN:
|
|
action = 'disable'
|
|
-> call cmd_fullscreen($action, "output")
|
|
action = 'enable', 'toggle'
|
|
-> FULLSCREEN_MODE
|
|
action = ''
|
|
-> FULLSCREEN_COMPAT
|
|
|
|
state FULLSCREEN_MODE:
|
|
mode = 'global'
|
|
-> call cmd_fullscreen($action, $mode)
|
|
end
|
|
-> call cmd_fullscreen($action, "output")
|
|
|
|
state FULLSCREEN_COMPAT:
|
|
mode = 'global'
|
|
-> call cmd_fullscreen("toggle", $mode)
|
|
end
|
|
-> call cmd_fullscreen("toggle", "output")
|
|
|
|
# sticky enable|disable|toggle
|
|
state STICKY:
|
|
action = 'enable', 'disable', 'toggle'
|
|
-> call cmd_sticky($action)
|
|
|
|
# split v|h|t|vertical|horizontal|toggle
|
|
state SPLIT:
|
|
direction = 'horizontal', 'vertical', 'toggle', 'v', 'h', 't'
|
|
-> call cmd_split($direction)
|
|
|
|
# floating enable|disable|toggle
|
|
state FLOATING:
|
|
floating = 'enable', 'disable', 'toggle'
|
|
-> call cmd_floating($floating)
|
|
|
|
# mark [--add|--replace] [--toggle] <mark>
|
|
state MARK:
|
|
mode = '--add', '--replace'
|
|
->
|
|
toggle = '--toggle'
|
|
->
|
|
mark = string
|
|
-> call cmd_mark($mark, $mode, $toggle)
|
|
|
|
# unmark [mark]
|
|
state UNMARK:
|
|
end
|
|
-> call cmd_unmark($mark)
|
|
mark = string
|
|
-> call cmd_unmark($mark)
|
|
|
|
# resize
|
|
state RESIZE:
|
|
way = 'grow', 'shrink'
|
|
-> RESIZE_DIRECTION
|
|
set = 'set'
|
|
-> RESIZE_SET
|
|
|
|
state RESIZE_DIRECTION:
|
|
direction = 'up', 'down', 'left', 'right', 'width', 'height'
|
|
-> RESIZE_PX
|
|
|
|
state RESIZE_PX:
|
|
resize_px = number
|
|
-> RESIZE_TILING
|
|
end
|
|
-> call cmd_resize($way, $direction, 10, 10)
|
|
|
|
state RESIZE_TILING:
|
|
'px'
|
|
->
|
|
'or'
|
|
-> RESIZE_TILING_OR
|
|
end
|
|
-> call cmd_resize($way, $direction, &resize_px, 0)
|
|
|
|
state RESIZE_TILING_OR:
|
|
resize_ppt = number
|
|
-> RESIZE_TILING_FINAL
|
|
|
|
state RESIZE_TILING_FINAL:
|
|
'ppt', end
|
|
-> call cmd_resize($way, $direction, &resize_px, &resize_ppt)
|
|
|
|
state RESIZE_SET:
|
|
'height'
|
|
-> RESIZE_HEIGHT_GET_NUMBER
|
|
'width'
|
|
->
|
|
width = number
|
|
-> RESIZE_WIDTH
|
|
|
|
state RESIZE_WIDTH:
|
|
mode_width = 'px', 'ppt'
|
|
->
|
|
end
|
|
-> call cmd_resize_set(&width, $mode_width, 0, 0)
|
|
'height'
|
|
-> RESIZE_HEIGHT_GET_NUMBER
|
|
height = number
|
|
-> RESIZE_HEIGHT
|
|
|
|
state RESIZE_HEIGHT_GET_NUMBER:
|
|
height = number
|
|
-> RESIZE_HEIGHT
|
|
|
|
state RESIZE_HEIGHT:
|
|
mode_height = 'px', 'ppt'
|
|
->
|
|
end
|
|
-> call cmd_resize_set(&width, $mode_width, &height, $mode_height)
|
|
|
|
# rename workspace <name> to <name>
|
|
# rename workspace to <name>
|
|
state RENAME:
|
|
'workspace'
|
|
-> RENAME_WORKSPACE
|
|
|
|
state RENAME_WORKSPACE:
|
|
'to'
|
|
-> RENAME_WORKSPACE_LIKELY_TO
|
|
old_name = word
|
|
-> RENAME_WORKSPACE_TO
|
|
|
|
state RENAME_WORKSPACE_LIKELY_TO:
|
|
'to '
|
|
-> RENAME_WORKSPACE_LIKELY_TO_NEW_NAME
|
|
new_name = word
|
|
-> call cmd_rename_workspace(NULL, $new_name)
|
|
|
|
state RENAME_WORKSPACE_LIKELY_TO_NEW_NAME:
|
|
new_name = string
|
|
-> call cmd_rename_workspace("to", $new_name)
|
|
end
|
|
-> call cmd_rename_workspace(NULL, "to")
|
|
|
|
state RENAME_WORKSPACE_TO:
|
|
'to'
|
|
-> RENAME_WORKSPACE_TO_NEW_NAME
|
|
|
|
state RENAME_WORKSPACE_TO_NEW_NAME:
|
|
new_name = string
|
|
-> call cmd_rename_workspace($old_name, $new_name)
|
|
|
|
# move <direction> [<pixels> [px]]
|
|
# move [window|container] [to] workspace [<str>|next|prev|next_on_output|prev_on_output|current]
|
|
# move [window|container] [to] output <str>
|
|
# move [window|container] [to] mark <str>
|
|
# move [window|container] [to] scratchpad
|
|
# move workspace to [output] <str>
|
|
# move scratchpad
|
|
# move [window|container] [to] [absolute] position [ [<pixels> [px] <pixels> [px]] | center ]
|
|
# move [window|container] [to] position mouse|cursor|pointer
|
|
state MOVE:
|
|
'window'
|
|
->
|
|
'container'
|
|
->
|
|
'to'
|
|
->
|
|
no_auto_back_and_forth = '--no-auto-back-and-forth'
|
|
->
|
|
'workspace'
|
|
-> MOVE_WORKSPACE
|
|
'output'
|
|
-> MOVE_TO_OUTPUT
|
|
'mark'
|
|
-> MOVE_TO_MARK
|
|
'scratchpad'
|
|
-> call cmd_move_scratchpad()
|
|
direction = 'left', 'right', 'up', 'down'
|
|
-> MOVE_DIRECTION
|
|
method = 'position'
|
|
-> MOVE_TO_POSITION
|
|
method = 'absolute'
|
|
-> MOVE_TO_ABSOLUTE_POSITION
|
|
|
|
state MOVE_DIRECTION:
|
|
pixels = number
|
|
-> MOVE_DIRECTION_PX
|
|
end
|
|
-> call cmd_move_direction($direction, 10)
|
|
|
|
state MOVE_DIRECTION_PX:
|
|
'px'
|
|
-> call cmd_move_direction($direction, &pixels)
|
|
end
|
|
-> call cmd_move_direction($direction, &pixels)
|
|
|
|
state MOVE_WORKSPACE:
|
|
'to '
|
|
-> MOVE_WORKSPACE_TO_OUTPUT
|
|
workspace = 'next_on_output', 'prev_on_output', 'next', 'prev', 'current'
|
|
-> call cmd_move_con_to_workspace($workspace)
|
|
'back_and_forth'
|
|
-> call cmd_move_con_to_workspace_back_and_forth()
|
|
'number'
|
|
-> MOVE_WORKSPACE_NUMBER
|
|
workspace = string
|
|
-> call cmd_move_con_to_workspace_name($workspace, $no_auto_back_and_forth)
|
|
|
|
state MOVE_WORKSPACE_NUMBER:
|
|
number = string
|
|
-> call cmd_move_con_to_workspace_number($number, $no_auto_back_and_forth)
|
|
|
|
state MOVE_TO_OUTPUT:
|
|
output = string
|
|
-> call cmd_move_con_to_output($output)
|
|
|
|
state MOVE_TO_MARK:
|
|
mark = string
|
|
-> call cmd_move_con_to_mark($mark)
|
|
|
|
state MOVE_WORKSPACE_TO_OUTPUT:
|
|
'output'
|
|
->
|
|
output = string
|
|
-> call cmd_move_workspace_to_output($output)
|
|
|
|
state MOVE_TO_ABSOLUTE_POSITION:
|
|
'position'
|
|
-> MOVE_TO_POSITION
|
|
|
|
state MOVE_TO_POSITION:
|
|
'center'
|
|
-> call cmd_move_window_to_center($method)
|
|
'mouse', 'cursor', 'pointer'
|
|
-> call cmd_move_window_to_mouse()
|
|
coord_x = number
|
|
-> MOVE_TO_POSITION_X
|
|
|
|
state MOVE_TO_POSITION_X:
|
|
'px'
|
|
->
|
|
coord_y = number
|
|
-> MOVE_TO_POSITION_Y
|
|
|
|
state MOVE_TO_POSITION_Y:
|
|
'px', end
|
|
-> call cmd_move_window_to_position(&coord_x, &coord_y)
|
|
|
|
# mode <string>
|
|
state MODE:
|
|
mode = string
|
|
-> call cmd_mode($mode)
|
|
|
|
state NOP:
|
|
comment = string
|
|
-> call cmd_nop($comment)
|
|
end
|
|
-> call cmd_nop(NULL)
|
|
|
|
state SCRATCHPAD:
|
|
'show'
|
|
-> call cmd_scratchpad_show()
|
|
|
|
# swap [container] [with] id <window>
|
|
# swap [container] [with] con_id <con_id>
|
|
# swap [container] [with] mark <mark>
|
|
state SWAP:
|
|
'container'
|
|
->
|
|
'with'
|
|
->
|
|
mode = 'id', 'con_id', 'mark'
|
|
-> SWAP_ARGUMENT
|
|
|
|
state SWAP_ARGUMENT:
|
|
arg = string
|
|
-> call cmd_swap($mode, $arg)
|
|
|
|
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'
|
|
-> BAR_HIDDEN_STATE
|
|
bar_type = 'mode'
|
|
-> BAR_MODE
|
|
|
|
state BAR_HIDDEN_STATE:
|
|
bar_hidden_state = 'hide', 'show', 'toggle'
|
|
->
|
|
bar_id = word
|
|
->
|
|
end
|
|
-> call cmd_bar_hidden_state($bar_hidden_state, $bar_id)
|
|
|
|
state BAR_MODE:
|
|
bar_value = 'dock', 'hide', 'invisible', 'toggle'
|
|
->
|
|
bar_id = word
|
|
->
|
|
end
|
|
-> call cmd_bar_mode($bar_value, $bar_id)
|