new signal GtkWidget::user_signal?

[Tim Janik <Tim Janik Hamburg Netsurf DE>]

hello everybody,

i'd like to have an additional signal supported by the GtkWidget base class.

GtkWidget:user_signal

this signal will be invoked by the application programmer and not inside the
toolkit.

it can be invoked with a call to

void	gtk_widget_emit_user_signal (GtkWidget *widget,
				     gint       user_type,
				     gpointer   signal_data);

and the receiving function would have the semantics:

void	MySignalFunc		(GtkWidget *widget,
				 gint       user_type,
				 gpointer   signal_data,
				 gpointer   func_data);

one can connect to the signal as usual via

gtk_signal_connect (GTK_OBJECT (MyButton),
		    "user_signal",
		    GTK_SIGNAL_FUNC (MySignalFunc),
		    my_func_data);

or via
gtk_widget_set (MyButton,
		"GtkWidget::user_signal", MySignalFunc, my_func_data,
		NULL);


user_type is meant to distinguish different signal emissions by passing
a.g. an enumeration value that MySignalFunc() could switch() on.


comments, objections?

---
ciaoTJ