VesperOS/gnome-shell-extensions
6
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Refresh debian/patches/01_status-menu_disable_accounts.patch.

Browse Source
This commit is contained in:
Michael Biebl
2012-02-11 21:53:25 +00:00
parent f69389a76b
commit 814e57fbd0
2 changed files with 6 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
debian/changelog
Vendored
+2 -1
View File
@@ -19,8 +19,9 @@ gnome-shell-extensions (3.2.3-1) UNRELEASED; urgency=low
* Drop patches which have been merged upstream:
- debian/patches/upstream/*
- debian/patches/fix-*
* Refresh debian/patches/01_status-menu_disable_accounts.patch.
-- Michael Biebl <biebl@debian.org> Sat, 11 Feb 2012 22:49:58 +0100
-- Michael Biebl <biebl@debian.org> Sat, 11 Feb 2012 22:53:09 +0100
gnome-shell-extensions (3.2.0-1) experimental; urgency=low
debian/patches/01_status-menu_disable_accounts.patch
Vendored
+4 -11
View File
@@ -1,8 +1,8 @@
Index: gnome-shell-extensions-3.2.0/extensions/alternative-status-menu/extension.js
Index: gnome-shell-extensions-3.2.3/extensions/alternative-status-menu/extension.js
===================================================================
--- gnome-shell-extensions-3.2.0.orig/extensions/alternative-status-menu/extension.js 2011-10-03 18:21:34.000000000 +0200
+++ gnome-shell-extensions-3.2.0/extensions/alternative-status-menu/extension.js 2011-12-29 10:52:10.062855926 +0100
@@ -49,10 +49,6 @@ function createSubMenu() {
--- gnome-shell-extensions-3.2.3.orig/extensions/alternative-status-menu/extension.js 2011-12-16 22:11:51.000000000 +0100
+++ gnome-shell-extensions-3.2.3/extensions/alternative-status-menu/extension.js 2012-02-11 22:47:20.650757433 +0100
@@ -50,10 +50,6 @@
item = new PopupMenu.PopupSeparatorMenuItem();
this.menu.addMenuItem(item);
@@ -13,10 +13,3 @@ Index: gnome-shell-extensions-3.2.0/extensions/alternative-status-menu/extension
item = new PopupMenu.PopupMenuItem(_("System Settings"));
item.connect('activate', Lang.bind(this, this._onPreferencesActivate));
this.menu.addMenuItem(item);
@@ -126,4 +122,4 @@ function disable() {
statusMenu.menu.removeAll();
statusMenu._createSubMenu();
reset(statusMenu);
-}
\ No newline at end of file
+}