add groupbar enabled and priority (#428)

modified:   pages/Configuring/Variables.md
This commit is contained in:
MightyPlaza 2023-12-30 14:19:08 +00:00 committed by GitHub
parent cc69529ae7
commit ce0b8774ed
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -296,9 +296,11 @@ _Subcategory `group:groupbar:`_
| name | description | type | default | | name | description | type | default |
|---|---|---|---| |---|---|---|---|
| enabled | enables groupbars | bool | true |
| font_family | font used to display groupbar titles | string | Sans | | font_family | font used to display groupbar titles | string | Sans |
| font_size | font size for the above | int | 8 | | font_size | font size for the above | int | 8 |
| gradients | whether to draw gradients under the titles of the above | bool | true | | gradients | whether to draw gradients under the titles of the above | bool | true |
| priority | sets the decoration priority for groupbars | int | 3 |
| render_titles | whether to render titles in the group bar decoration | bool | true | | render_titles | whether to render titles in the group bar decoration | bool | true |
| scrolling | whether scrolling in the groupbar changes group active window | bool | true | | scrolling | whether scrolling in the groupbar changes group active window | bool | true |
| text_color | controls the group bar text color | color | 0xffffffff | | text_color | controls the group bar text color | color | 0xffffffff |