void gtkinputdialog::enable-device	(gtkinputdialog *,
                                  	 ggint,
                                  	 gpointer);
void gtkinputdialog::disable-device	(gtkinputdialog *,
                                   	 ggint,
                                   	 gpointer);