From d431d803c8b347c192d1bc9b6a206d2622a10748 Mon Sep 17 00:00:00 2001 From: John Preston Date: Wed, 5 Jul 2023 12:55:05 +0400 Subject: [PATCH] Allow a more customized round checkbox. --- ui/widgets/widgets.style | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ui/widgets/widgets.style b/ui/widgets/widgets.style index cd85819..4517138 100644 --- a/ui/widgets/widgets.style +++ b/ui/widgets/widgets.style @@ -370,6 +370,7 @@ RoundCheckbox { } RoundImageCheckbox { + selectExtendTwice: pixels; imageRadius: pixels; imageSmallRadius: pixels; selectWidth: pixels; @@ -1062,6 +1063,7 @@ defaultPeerListCheck: RoundCheckbox(defaultRoundCheckbox) { check: defaultPeerListCheckIcon; } defaultPeerListCheckbox: RoundImageCheckbox { + selectExtendTwice: 0px; imageRadius: 21px; imageSmallRadius: 18px; selectWidth: 2px;