Index: binaries/data/mods/public/gui/session/hotkeys/misc.xml
===================================================================
--- binaries/data/mods/public/gui/session/hotkeys/misc.xml  (revision 21567)
+++ binaries/data/mods/public/gui/session/hotkeys/misc.xml  (working copy)
@@ -80,7 +80,7 @@
    </object>

    <object hotkey="session.stop">
-       <action on="Press">stopUnits(g_Selection.toList());</action>
+       <action on="Press">stopUnits(g_Selection.toList());warn("P");</action>
    </object>

    <object hotkey="session.backtowork">
Index: source/gui/CGUI.cpp
===================================================================
--- source/gui/CGUI.cpp (revision 21567)
+++ source/gui/CGUI.cpp (working copy)
@@ -81,7 +81,8 @@
                HotkeyInputHandler(ev);
                ret = IN_HANDLED;

-               if (ev->ev.type == SDL_HOTKEYDOWN)
+               std::cout<<ev->ev.key.repeat<< "\n";
+               if (ev->ev.type == SDL_HOTKEYDOWN && !ev->ev.key.repeat)
                    obj->SendEvent(GUIM_PRESSED, "press");
                else
                    obj->SendEvent(GUIM_RELEASED, "release");