#1 Case label value exceeds maximum value for type

[erikh]

In GraphicsWindowGtk.cpp, line 373 function gboolean GraphicsWindowGtk::on_key_event(), there is a switch on a GdkEventType variable, which is an enumeration with a maximum value of 37 (see http://library.gnome.org/devel/gdk/unstable/gdk3-Events.html#GdkEventType\), but there are two cases that exceed this maximum value (GDK_KEY_PRESS_MASK which is 1024, and GDK_KEY_RELEASE_MASK which is 2048).

So, it happens to turn out that this switch statement never does anything besides return false (which is the default handling of the switch), but this seems scary in that there are two key presses that you think are being handled but in fact are not.