1.1 --- a/src/gtkui/gtkui.h	Sat Jan 26 02:45:27 2008 +0000
     1.2 +++ b/src/gtkui/gtkui.h	Thu Feb 14 13:54:11 2008 +0000
     1.3 @@ -92,6 +92,15 @@
     1.4  uint16_t gtk_get_unmodified_keyval( GdkEventKey *event );
     1.5  
     1.6  /**
     1.7 + * Map a hardware keycode (not keyval) to a modifier state mask.
     1.8 + * @param display The display (containing the modifier map)
     1.9 + * @param keycde The hardware keycode to map
    1.10 + * @return The modifier mask (eg GDK_CONTROL_MASK) or 0 if the keycode
    1.11 + * is not recognized as a modifier key.
    1.12 + */
    1.13 +guint gdk_keycode_to_modifier( GdkDisplay *display, guint keycode );
    1.14 +
    1.15 +/**
    1.16   * Construct a new pixbuf that takes ownership of the frame buffer
    1.17   */
    1.18  GdkPixbuf *gdk_pixbuf_new_from_frame_buffer( frame_buffer_t buffer );