GtkButton and double clicks

[Federico Mena Quintero <federico ximian com>]

I'm pretty sure this has been discussed before, but I couldn't find
anything...

Right now, double-clicking on a GtkButton gives you two emissions of the
"clicked" signal.

This is bad for things like launcher buttons in the Gnome panel.  People
get confused all the time, double-click on them because that's what they
think they have to do to open a program, and get two instances of the
program rather than just one.

Do we need an API like

	void gtk_button_set_ignore_double_click (GtkButton *button,
						 gboolean   ignore);
	gboolean gtk_button_get_ignore_double_click (GtkButton *button);

(and the corresponding property)?

If so, should we turn it on by default?  I *think* there are not many
buttons which you want to be able to click rapidly/repeatedly.

  Federico