This is a GDK key constant. Use it for identifying the key pressed in a GdkEventKey.
GdkEventKey
Michael Lawrence