[gnome-music] Bug #702950 - Media keys don't handle Stop

[Vadim Rutkovsky <vrutkovsky src gnome org>]

commit 47fb0341372d333bf076064f757945fb5faed6af
Author: Fabiano Fidêncio <fidencio redhat com>
Date:   Wed Jun 26 10:35:11 2013 +0200

    Bug #702950 - Media keys don't handle Stop

 src/player.js |    2 ++
 src/window.js |    2 ++
 2 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/player.js b/src/player.js
index 1217522..664ab47 100644
--- a/src/player.js
+++ b/src/player.js
@@ -605,6 +605,8 @@ const Player = new Lang.Class({
     },
 
     Stop: function() {
+        this.progressScale.set_value(0);
+        this.progressScale.sensitive = false;
         this.playBtn.set_image(this._playImage);
         this.stop();
     },
diff --git a/src/window.js b/src/window.js
index 6e4ee65..1ebb0b5 100644
--- a/src/window.js
+++ b/src/window.js
@@ -84,6 +84,8 @@ const MainWindow = new Lang.Class({
         let key = parameters.get_child_value(1).get_string()[0];
         if (key == 'Play')
             this.player.PlayPause();
+        else if (key == 'Stop')
+            this.player.Stop();
         else if (key == 'Next')
             this.player.Next();
         else if (key == 'Previous')