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 /lisp/wid-edit.el | |
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 'lisp/wid-edit.el')
-rw-r--r-- | lisp/wid-edit.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lisp/wid-edit.el b/lisp/wid-edit.el index 51c6b49e6df..49baab69199 100644 --- a/lisp/wid-edit.el +++ b/lisp/wid-edit.el @@ -750,7 +750,7 @@ automatically." :type 'boolean) (defcustom widget-image-conversion - '((xpm ".xpm") (gif ".gif") (png ".png") (jpeg ".jpg" ".jpeg") + '((svg ".svg") (xpm ".xpm") (gif ".gif") (png ".png") (jpeg ".jpg" ".jpeg") (xbm ".xbm")) "Conversion alist from image formats to file name suffixes." :group 'widgets @@ -2564,9 +2564,9 @@ Return an alist of (TYPE MATCH)." :button-suffix "" :button-prefix "" :on "(*)" - :on-glyph "radio1" + :on-glyph "radio-checked" :off "( )" - :off-glyph "radio0") + :off-glyph "radio") (defun widget-radio-button-notify (widget _child &optional event) ;; Tell daddy. |