--- a/src/display.c	Mon Jan 28 02:38:09 2008 +0000
+++ b/src/display.c	Tue Jan 29 10:39:56 2008 +0000
@@ -113,6 +113,19 @@
     return TRUE;
 }
 
+gboolean input_has_device( const gchar *id )
+{
+    GList *ptr;
+    for( ptr = input_drivers; ptr != NULL; ptr = g_list_next(ptr) ) {
+	input_driver_entry_t entry = (input_driver_entry_t)ptr->data;
+	if( strcasecmp(entry->driver->id, id) == 0 ) {
+	    return TRUE;
+	}
+    }
+    return FALSE;
+}
+
+
 void input_unregister_device( input_driver_t driver )
 {
     GList *ptr;