diff options
author | Stefan Kangas <stefan@marxist.se> | 2021-04-03 21:53:06 +0200 |
---|---|---|
committer | Stefan Kangas <stefan@marxist.se> | 2021-04-03 21:53:06 +0200 |
commit | b0d095b2cdff7b43ab3866a2d541d18e359a4125 (patch) | |
tree | 738c7c3389d5399df29346ec8f42baa9670d2874 /etc/images/radio-mixed.svg | |
parent | ebc2b78c8bffc40f3bc863d333dccc0b26def3b4 (diff) | |
download | emacs-b0d095b2cdff7b43ab3866a2d541d18e359a4125.tar.gz emacs-b0d095b2cdff7b43ab3866a2d541d18e359a4125.tar.bz2 emacs-b0d095b2cdff7b43ab3866a2d541d18e359a4125.zip |
Add SVG icons for customize buffers
* etc/images/checkbox-mixed.svg:
* etc/images/checked.svg:
* etc/images/down.svg:
* etc/images/left.svg:
* etc/images/radio-checked.svg:
* etc/images/radio-mixed.svg:
* etc/images/radio.svg:
* etc/images/right.svg:
* etc/images/unchecked.svg:
* etc/images/up.svg: New files from the Adwaita Icon Theme (made by
the GNOME project). The background color was changed from gray to
none to use the same colors as the current face instead. (Bug#47074)
* etc/images/README: Add license information for the above new files.
* lisp/wid-edit.el (widget-image-conversion): Prefer SVG if it exists.
(radio-button): Rename radio buttons to "radio-checked" and
"radio". These files did not exist before.
Diffstat (limited to 'etc/images/radio-mixed.svg')
-rw-r--r-- | etc/images/radio-mixed.svg | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/etc/images/radio-mixed.svg b/etc/images/radio-mixed.svg new file mode 100644 index 00000000000..5a8be0cf657 --- /dev/null +++ b/etc/images/radio-mixed.svg @@ -0,0 +1,6 @@ +<svg xmlns="http://www.w3.org/2000/svg" width="16" height="16"> + <g font-weight="400" fill="#474747"> + <path d="M8 1C4.142 1 1 4.142 1 8s3.142 7 7 7 7-3.142 7-7-3.142-7-7-7zm0 1c3.316 0 6 2.684 6 6s-2.684 6-6 6-6-2.684-6-6 2.684-6 6-6z" overflow="visible" /> + <path d="M5 6a2 2 0 100 4h6a2 2 0 100-4z" overflow="visible" /> + </g> +</svg> |