gaps: allow optional px suffix

This commit is contained in:
Michael Stapelberg
2022-10-31 19:04:14 +01:00
committed by Michael Stapelberg
parent b2c696f680
commit a5791b2e64
4 changed files with 18 additions and 6 deletions

View File

@ -111,6 +111,12 @@ state GAPS_WITH_SCOPE:
state GAPS_WITH_MODE:
value = word
-> GAPS_END
state GAPS_END:
'px'
->
end
-> call cmd_gaps($type, $scope, $mode, $value)
state BORDER_WIDTH:

View File

@ -68,13 +68,19 @@ state IGNORE_LINE:
line
-> INITIAL
# gaps inner|outer|horizontal|vertical|top|right|bottom|left <px>
# gaps inner|outer|horizontal|vertical|top|right|bottom|left <gap_size>[px]
state GAPS:
scope = 'inner', 'outer', 'horizontal', 'vertical', 'top', 'right', 'bottom', 'left'
-> GAPS_WITH_SCOPE
state GAPS_WITH_SCOPE:
value = number
-> GAPS_END
state GAPS_END:
'px'
->
end
-> call cfg_gaps($workspace, $scope, &value)
# smart_borders true|false