+ update_axes();
+ }
+
+ return false; //Pass on the event to other handlers, just in case
+}
+
+bool
+StateMirror_Context::key_release_event(GdkEventKey *event)
+{
+ if (event->keyval==GDK_Shift_L || event->keyval==GDK_Shift_R )
+ {
+ if (!shift_is_pressed) return false;
+ shift_is_pressed = false;
+ set_axis(get_axis()==AXIS_X ? AXIS_Y:AXIS_X);
+ update_axes();