Re: Customize interface: The use of "boxed" buttons

[Per Abrahamsen <abraham@dina.kvl.dk>]

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  <abraham@dina.kvl.dk>

	* 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.