[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Customize interface: The use of "boxed" buttons
From: |
Per Abrahamsen |
Subject: |
Re: Customize interface: The use of "boxed" buttons |
Date: |
Tue, 08 Jun 2004 11:30:15 +0200 |
User-agent: |
Gnus/5.110002 (No Gnus v0.2) Emacs/21.3 (gnu/linux) |
I think that patch will be a great help in usability. Especially if
we also make similar patch to button.el. The "hand" button can then
be used as a semi-reliable clue that there is something to click on.
The following patch is not tested:
2004-06-08 Per Abrahamsen <address@hidden>
* button.el (default-button): Change to hand pointer over
buttons.
*** button.el.~1.13.~ 2003-10-24 15:33:14.000000000 +0200
--- button.el 2004-06-08 11:23:32.000000000 +0200
***************
*** 78,83 ****
--- 78,84 ----
(put 'default-button 'mouse-face 'highlight)
(put 'default-button 'keymap button-map)
(put 'default-button 'type 'button)
+ (put 'default-button 'pointer 'hand)
(put 'default-button 'action 'ignore)
(put 'default-button 'help-echo "mouse-2, RET: Push this button")
;; Make overlay buttons go away if their underlying text is deleted.
...
- It would probably be even better if widget-specify-button just set the
"default-button" category
- There are still code out there (such as Gnus) that implements
buttons manually, it should be fixed too. Either by adding the hand
pointer, or by changing it to use widget.el or button.el.
- Re: Customize interface: The use of "boxed" buttons, (continued)
- Re: Customize interface: The use of "boxed" buttons, Paul Pogonyshev, 2004/06/06
- Re: Customize interface: The use of "boxed" buttons, Richard Stallman, 2004/06/07
- Re: Customize interface: The use of "boxed" buttons, Per Abrahamsen, 2004/06/07
- Re: Customize interface: The use of "boxed" buttons, Miles Bader, 2004/06/07
- Re: Customize interface: The use of "boxed" buttons, Richard Stallman, 2004/06/08
- Re: Customize interface: The use of "boxed" buttons, Kim F. Storm, 2004/06/07
- Re: Customize interface: The use of "boxed" buttons, Kim F. Storm, 2004/06/07
- Re: Customize interface: The use of "boxed" buttons, David Kastrup, 2004/06/08
- Re: Customize interface: The use of "boxed" buttons, Kim F. Storm, 2004/06/08
- Re: Customize interface: The use of "boxed" buttons, David Kastrup, 2004/06/08
- Re: Customize interface: The use of "boxed" buttons,
Per Abrahamsen <=
Re: Customize interface: The use of "boxed" buttons, Per Abrahamsen, 2004/06/06