# HG changeset patch
# User ib
# Date 1323359297 0
# Node ID 0de7aa136e27eb0f2a3975f6e1057ca62282beb7
# Parent  6fd8caca0f9caf5ee3ee80c22bb7c3fa2f36245e
Fix bug with evHalfSize event.

It set the size to normal instead to half.

diff -r 6fd8caca0f9c -r 0de7aa136e27 gui/app.c
--- a/gui/app.c	Thu Dec 08 15:39:49 2011 +0000
+++ b/gui/app.c	Thu Dec 08 15:48:17 2011 +0000
@@ -58,7 +58,7 @@
     { evBackward10min,     "evBackward10min"     },
     { evForward10min,      "evForward10min"      },
     { evSetMoviePosition,  "evSetMoviePosition"  },
-    { evNormalSize,        "evHalfSize"          },
+    { evHalfSize,          "evHalfSize"          },
     { evDoubleSize,        "evDoubleSize"        },
     { evFullScreen,        "evFullScreen"        },
     { evNormalSize,        "evNormalSize"        },