projects
/
gtk4.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
afd5651
1c99dbc
)
Merge branch 'theme-checkbutton-padding' into 'master'
author
Jakub Steiner
<jimmac@gmail.com>
Mon, 18 May 2020 13:12:15 +0000
(13:12 +0000)
committer
Jakub Steiner
<jimmac@gmail.com>
Mon, 18 May 2020 13:12:15 +0000
(13:12 +0000)
Adwaita: Tweak padding in checkbutton & radiobutton
Closes #2697
See merge request GNOME/gtk!1927
Trivial merge