diff options
| author | Orestis Floros <orestisflo@gmail.com> | 2022-11-13 16:22:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-13 16:22:41 +0100 |
| commit | a1e4b449550a411493d80376425ad589c4dff05c (patch) | |
| tree | 40238b5e2242ea63c5daaa13f7ed1efa47fb0051 | |
| parent | 029cb8af193882777c9ad5d256e8784643f6e8a9 (diff) | |
| download | i3-a1e4b449550a411493d80376425ad589c4dff05c.tar.gz i3-a1e4b449550a411493d80376425ad589c4dff05c.zip | |
command.spec: Put cmd_border stuff together (#5266)
| -rw-r--r-- | parser-specs/commands.spec | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/parser-specs/commands.spec b/parser-specs/commands.spec index 284c0180..336a8d42 100644 --- a/parser-specs/commands.spec +++ b/parser-specs/commands.spec @@ -114,6 +114,12 @@ state BORDER: '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) + # gaps inner|outer|horizontal|vertical|top|right|bottom|left [current] [set|plus|minus|toggle] <px> state GAPS: type = 'inner', 'outer', 'horizontal', 'vertical', 'top', 'right', 'bottom', 'left' @@ -137,12 +143,6 @@ state GAPS_END: end -> call cmd_gaps($type, $scope, $mode, $value) -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: |