1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2025-04-14 17:43:01 -04:00

rename "rounded-corners" to "handle-rounded-corners"

This commit is contained in:
Johannes4433 2025-03-03 17:05:16 +01:00
parent 73f8393ac5
commit 901de2f5ea
2 changed files with 2 additions and 2 deletions

View file

@ -1011,7 +1011,7 @@ The following properties are currently supported:
- **handle-width**: distance
- **handle-color**: color
- **border-color**: color
- **rounded-corners**: boolean for rounded scrollbar
- **handle-rounded-corners**: boolean for rounded scrollbar
### box

View file

@ -175,7 +175,7 @@ static void scrollbar_draw(widget *wid, cairo_t *draw) {
// Cap length;
rofi_theme_get_color(WIDGET(sb), "handle-color", draw);
if (rofi_theme_get_boolean(WIDGET(sb), "rounded-corners", FALSE)) {
if (rofi_theme_get_boolean(WIDGET(sb), "handle-rounded-corners", FALSE)) {
float x = widget_padding_get_left(wid);
float width = widget_padding_get_remaining_width(wid);