[gnome-music: 1/2] Implement grabbing media keys on window focus
- From: Arnel A. Borja <arnelborja src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music: 1/2] Implement grabbing media keys on window focus
- Date: Wed, 14 Aug 2013 16:31:27 +0000 (UTC)
commit 49c0eb59f8833e93400a2929a8c66d31195757d2
Author: shivanipoddariiith <shivani poddar92 gmail com>
Date: Wed Aug 14 20:51:41 2013 +0530
Implement grabbing media keys on window focus
gnomemusic/window.py | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gnomemusic/window.py b/gnomemusic/window.py
index a603da7..d38133d 100644
--- a/gnomemusic/window.py
+++ b/gnomemusic/window.py
@@ -19,6 +19,7 @@ class Window(Gtk.ApplicationWindow):
Gtk.ApplicationWindow.__init__(self,
application=app,
title=_("Music"))
+ self.connect('focus-in-event', self._windows_focus_cb)
settings = Gio.Settings('org.gnome.Music')
self.add_action(settings.create_action('repeat'))
self.set_size_request(887, 640)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]