1.1 --- a/src/display.h	Mon Jan 28 02:38:09 2008 +0000
     1.2 +++ b/src/display.h	Fri Feb 08 00:58:41 2008 +0000
     1.3 @@ -275,6 +275,13 @@
     1.4  gboolean input_register_device( input_driver_t driver, uint16_t max_keycode );
     1.5  
     1.6  /**
     1.7 + * Determine if the system has an input driver with the given unique ID.
     1.8 + * @param id driver id to check
     1.9 + * @return TRUE if the device exists, otherwise FALSE
    1.10 + */
    1.11 +gboolean input_has_device( const gchar *id );
    1.12 +
    1.13 +/**
    1.14   * Unregister an input driver.
    1.15   * @param driver the driver to unregister
    1.16   * If the driver is not in fact registered, this function has no effect.