diff options
| author | Timm Bäder <mail@baedert.org> | 2020-08-07 05:45:30 +0200 |
|---|---|---|
| committer | Timm Bäder <mail@baedert.org> | 2020-08-29 16:46:28 +0200 |
| commit | 1375fb44643f73eab3ac4042a8d21d43ad90c838 (patch) | |
| tree | 435bd5dba953b0a8b8a23b0cecf6d82d4415e336 /gtk/theme | |
| parent | 51b398b960a03cf3822497fa491ea08a865e2038 (diff) | |
| download | gtk+-1375fb44643f73eab3ac4042a8d21d43ad90c838.tar.gz | |
Change button hierarchy
A radiobutton without indicator is really just a togglebutton with a
group.
A radiobutton with indicator is really just a checkbutton with a group.
Make checkbutton its own widget not inheriting from GtkButton.
GtkRadioButton could be removed but it stays for now.
Radiobutton && !draw-indicator => Togglebutton
Checkbutton && !draw-indicator => Togglebutton
Radiobutton && draw-indicator => CheckButton + group
Diffstat (limited to 'gtk/theme')
| -rw-r--r-- | gtk/theme/Adwaita/_common.scss | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss index 1b03c4d16f..d86066ca20 100644 --- a/gtk/theme/Adwaita/_common.scss +++ b/gtk/theme/Adwaita/_common.scss @@ -2272,8 +2272,7 @@ switch { } } -checkbutton, -radiobutton { +checkbutton { border-spacing: 4px; border-radius: $button_radius; transition: $focus_transition; |