From 901de2f5ea56491e859fd5c7a1260b9d0775a1b3 Mon Sep 17 00:00:00 2001 From: Johannes4433 Date: Mon, 3 Mar 2025 17:05:16 +0100 Subject: [PATCH] rename "rounded-corners" to "handle-rounded-corners" --- doc/rofi-theme.5.markdown | 2 +- source/widgets/scrollbar.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/rofi-theme.5.markdown b/doc/rofi-theme.5.markdown index 6fb888e7..2c07127e 100644 --- a/doc/rofi-theme.5.markdown +++ b/doc/rofi-theme.5.markdown @@ -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 diff --git a/source/widgets/scrollbar.c b/source/widgets/scrollbar.c index 7c01d6b5..6b9d463b 100644 --- a/source/widgets/scrollbar.c +++ b/source/widgets/scrollbar.c @@ -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);