diff options
author | Michael Stapelberg <michael@stapelberg.de> | 2022-10-30 17:37:47 +0100 |
---|---|---|
committer | Michael Stapelberg <stapelberg@users.noreply.github.com> | 2022-11-01 17:55:46 +0100 |
commit | 5b0f848a40b2a6cafe3c5dff5d1bf5324e33bebb (patch) | |
tree | 08d0adea71f963274b09c93fd293e298430e2677 | |
parent | 9ac027234b517a9de64cfe165029ee64a5afc6af (diff) | |
download | i3-5b0f848a40b2a6cafe3c5dff5d1bf5324e33bebb.tar.gz i3-5b0f848a40b2a6cafe3c5dff5d1bf5324e33bebb.zip |
Fix config.spec comment
-rw-r--r-- | parser-specs/config.spec | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parser-specs/config.spec b/parser-specs/config.spec index c918f142..d879d219 100644 --- a/parser-specs/config.spec +++ b/parser-specs/config.spec @@ -164,7 +164,7 @@ state DEFAULT_BORDER_PIXELS_PX: end -> call cfg_default_border($windowtype, $border, &width) -# hide_edge_borders <none|vertical|horizontal|both|smart|no_gaps> +# hide_edge_borders <none|vertical|horizontal|both|smart|smart_no_gaps> # also hide_edge_borders <bool> for compatibility state HIDE_EDGE_BORDERS: hide_borders = 'none', 'vertical', 'horizontal', 'both', 'smart_no_gaps', 'smart' |