[brisk-menu] 02/04: debian/patches: Drop 1000_bind_alt_f1.patch. Obsolete.

[Martin Wimpress]

This is an automated email from the git hooks/post-receive script.

flexiondotorg-guest pushed a commit to branch ubuntu/zesty
in repository brisk-menu.

commit 9827f13ea169a4a947d41439e2cd348e08a085b7
Author: Martin Wimpress <martin.wimpress at ubuntu.com>
Date:   Fri May 19 01:20:12 2017 +0100

    debian/patches: Drop 1000_bind_alt_f1.patch. Obsolete.
---
 debian/patches/1000_bind_alt_f1.patch | 13 -------------
 debian/patches/series                 |  1 -
 2 files changed, 14 deletions(-)

diff --git a/debian/patches/1000_bind_alt_f1.patch b/debian/patches/1000_bind_alt_f1.patch
deleted file mode 100644
index 689c321..0000000
--- a/debian/patches/1000_bind_alt_f1.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-diff --git a/src/applet.c b/src/applet.c
-index a626073..edeba60 100644
---- a/src/applet.c
-+++ b/src/applet.c
-@@ -208,7 +208,7 @@ static void brisk_menu_applet_init(BriskMenuApplet *self)
-         /* Load initially in the idle loop, prevent lagging panel on startup */
-         g_idle_add((GSourceFunc)brisk_menu_window_load_menus, self->menu);
- 
--        if (!brisk_key_binder_bind(self->binder, "<Ctrl>F10", hotkey_cb, self)) {
-+        if (!brisk_key_binder_bind(self->binder, "<Alt>F1", hotkey_cb, self)) {
-                 g_message("Failed to bind keyboard shortcut");
-         }
- 
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index f3ce6d1..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-1000_bind_alt_f1.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-mate/brisk-menu.git