# HG changeset patch
# User ib
# Date 1308062932 0
# Node ID b32fcc18c9b498a840df1e36422cec67c6040e5b
# Parent  7d5fd12b86e74ce5e7ca8dee8f42fc3e60a75085
Add support for multimedia pause key.

This closes Bugzilla #1290.

diff -r 7d5fd12b86e7 -r b32fcc18c9b4 gui/mplayer/mw.c
--- a/gui/mplayer/mw.c	Tue Jun 14 14:39:26 2011 +0000
+++ b/gui/mplayer/mw.c	Tue Jun 14 14:48:52 2011 +0000
@@ -539,6 +539,7 @@
       case wsXF86LowerVolume:  msg=evDecVolume; break;
       case wsXF86RaiseVolume:  msg=evIncVolume; break;
       case wsXF86Mute:         msg=evMute; break;
+      case wsXF86Pause:
       case wsXF86Play:         msg=evPlaySwitchToPause; break;
       case wsXF86Stop:         msg=evStop; break;
       case wsXF86Prev:         msg=evPrev; break;
diff -r 7d5fd12b86e7 -r b32fcc18c9b4 gui/wm/wskeys.h
--- a/gui/wm/wskeys.h	Tue Jun 14 14:39:26 2011 +0000
+++ b/gui/wm/wskeys.h	Tue Jun 14 14:48:52 2011 +0000
@@ -30,6 +30,7 @@
 #define wsXF86RaiseVolume 0x13 + 256
 #define wsXF86Mute        0x12 + 256
 #define wsXF86Play        0x14 + 256
+#define wsXF86Pause       0x31 + 256
 #define wsXF86Stop        0x15 + 256
 #define wsXF86Prev        0x16 + 256
 #define wsXF86Next        0x17 + 256