1.1 --- a/src/display.h Mon Jan 28 02:38:09 2008 +0000
1.2 +++ b/src/display.h Tue Jan 29 10:39:56 2008 +0000
1.4 gboolean input_register_device( input_driver_t driver, uint16_t max_keycode );
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.11 +gboolean input_has_device( const gchar *id );
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.