2047 |
;; We could probably do the same job as the images using single |
;; We could probably do the same job as the images using single |
2048 |
;; space characters in a boxed face with a stretch specification to |
;; space characters in a boxed face with a stretch specification to |
2049 |
;; make them square. |
;; make them square. |
2050 |
:on-glyph '(create-image "\000\066\076\034\076\066\000" |
:on-glyph '(create-image "\300\300\141\143\067\076\034\030" |
2051 |
'xbm t :width 7 :height 7 |
'xbm t :width 8 :height 8 |
2052 |
:background "grey75" ; like default mode line |
:background "grey75" ; like default mode line |
2053 |
:foreground "black" |
:foreground "black" |
2054 |
:relief -3 |
:relief -2 |
2055 |
:ascent 'center) |
:ascent 'center) |
2056 |
:off "[ ]" |
:off "[ ]" |
2057 |
:off-glyph '(create-image (make-string 7 0) |
:off-glyph '(create-image (make-string 8 0) |
2058 |
'xbm t :width 7 :height 7 |
'xbm t :width 8 :height 8 |
2059 |
:background "grey75" |
:background "grey75" |
2060 |
:foreground "black" |
:foreground "black" |
2061 |
:relief 3 |
:relief -2 |
2062 |
:ascent 'center) |
:ascent 'center) |
2063 |
:help-echo "Toggle this item." |
:help-echo "Toggle this item." |
2064 |
:action 'widget-checkbox-action) |
:action 'widget-checkbox-action) |