From e2c3feb36c61bdbe6feddf0617b95fb7641cadef Mon Sep 17 00:00:00 2001 From: Eduard Urbach Date: Sat, 20 Nov 2021 13:07:50 +0900 Subject: [PATCH] Configurable scrollbar border radius --- styles/config.scarlet | 1 + styles/scrollbar.scarlet | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/styles/config.scarlet b/styles/config.scarlet index ba560d0d..61d80dab 100644 --- a/styles/config.scarlet +++ b/styles/config.scarlet @@ -45,6 +45,7 @@ const ui-element-border-radius = 3px // Scrollbar scrollbar-size = 10px scrollbar-border-size = 2px +scrollbar-border-radius = 5px scrollbar-thumb-color = hsla(text-color-h, text-color-s, text-color-l, 0.75) scrollbar-track-color = transparent diff --git a/styles/scrollbar.scarlet b/styles/scrollbar.scarlet index 63daa2d8..7923278e 100644 --- a/styles/scrollbar.scarlet +++ b/styles/scrollbar.scarlet @@ -12,6 +12,6 @@ ::-webkit-scrollbar-thumb border scrollbar-border-size solid transparent - border-radius 5px + border-radius scrollbar-border-radius background-clip content-box background-color scrollbar-thumb-color