2023-02-27 16:24:28 +01:00
|
|
|
# borders-plus-plus
|
|
|
|
|
|
|
|
Allows you to add one or two additional borders to your windows.
|
|
|
|
|
|
|
|
The borders added are static.
|
|
|
|
|
2023-10-19 15:43:54 +02:00
|
|
|
Example Config:
|
2023-02-27 16:24:28 +01:00
|
|
|
```
|
2023-02-27 21:56:24 +01:00
|
|
|
plugin {
|
2023-02-27 16:24:28 +01:00
|
|
|
borders-plus-plus {
|
2023-10-19 15:43:54 +02:00
|
|
|
add_borders = 1 # 0 - 9
|
|
|
|
|
|
|
|
# you can add up to 9 borders
|
|
|
|
col.border_1 = rgb(ffffff)
|
|
|
|
col.border_2 = rgb(2222ff)
|
|
|
|
|
|
|
|
# -1 means "default" as in the one defined in general:border_size
|
|
|
|
border_size_1 = 10
|
|
|
|
border_size_2 = -1
|
|
|
|
|
|
|
|
# makes outer edges match rounding of the parent. Turn on / off to better understand. Default = on.
|
|
|
|
natural_rounding = yes
|
2023-02-27 16:24:28 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
```
|