diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-05 21:16:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-05 21:16:21 +0200 |
| commit | 15d1af11e2008512f4aaa32f731994b22b074636 (patch) | |
| tree | 76d48fb089c18ef8ea83947e945caa50de8a5d1c /core | |
| parent | 8f05263bd5417f1afeb46405a53a49c687b39240 (diff) | |
| parent | 62d14ca22dc60359906c52689dee09ccb84060e2 (diff) | |
Merge pull request #63957 from YuriSizov/buttons-in-focus
Round icon position and size in buttons to make them look sharper
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions