diff options
author | sunflowerskater <sunflowerskater@tutanota.com> | 2023-01-20 00:06:24 -0300 |
---|---|---|
committer | António Fernandes <antoniof@gnome.org> | 2023-01-20 18:26:29 +0000 |
commit | a126b55045ba83b31283de02072032787e922ad7 (patch) | |
tree | c72aa8e9d42d4bb0a8578c02c9544c161f0c2ea6 /src | |
parent | 0bda05bd569250d1d9f77dba0cb878e8e3ce8478 (diff) | |
download | nautilus-a126b55045ba83b31283de02072032787e922ad7.tar.gz |
style.css: Make rubberband to have rounded corners
This change makes the rubberband to have rounded corners,
making it consistent with other elements such as buttons and text entries,
which also have rounded corners.
Diffstat (limited to 'src')
-rw-r--r-- | src/resources/style.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/resources/style.css b/src/resources/style.css index 54cf22953..bae3aa973 100644 --- a/src/resources/style.css +++ b/src/resources/style.css @@ -299,3 +299,7 @@ label.encrypted_zip { background-size: 16px 16px; padding-right: 22px; } + +rubberband { + border-radius: 6px; +} |