* debian/patches
- fix-places-volume-without-class.diff (fix 'places', #697266)
This commit is contained in:
Vendored
+3
-1
@@ -1,8 +1,10 @@
|
||||
gnome-shell-extensions (3.8.0-1) UNRELEASED; urgency=low
|
||||
|
||||
* New upstream release.
|
||||
* debian/patches
|
||||
- fix-places-volume-without-class.diff (fix 'places', #697266)
|
||||
|
||||
-- Jean Schurger <jeansch@schurger.org> Wed, 27 Mar 2013 09:49:48 -0400
|
||||
-- Jean Schurger <jean@schurger.org> Thu, 04 Apr 2013 09:32:25 -0400
|
||||
|
||||
gnome-shell-extensions (3.7.92-1) UNRELEASED; urgency=low
|
||||
|
||||
|
||||
@@ -0,0 +1,18 @@
|
||||
diff --git a/extensions/places-menu/placeDisplay.js b/extensions/places-menu/placeDisplay.js
|
||||
index 6d0625b..4b78310 100644
|
||||
--- a/extensions/places-menu/placeDisplay.js
|
||||
+++ b/extensions/places-menu/placeDisplay.js
|
||||
@@ -292,7 +292,12 @@ const PlacesManager = new Lang.Class({
|
||||
let volumes = drives[i].get_volumes();
|
||||
|
||||
for(let j = 0; j < volumes.length; j++) {
|
||||
- if (volumes[j].get_identifier('class').indexOf('network') >= 0) {
|
||||
+ let cls = volumes[j].get_identifier('class');
|
||||
+ let have_network_class = false;
|
||||
+ if (cls != null)
|
||||
+ if (volumes[j].get_identifier('class').indexOf('network') >= 0)
|
||||
+ have_network_class = true;
|
||||
+ if (have_network_class) {
|
||||
networkVolumes.push(volumes[i]);
|
||||
} else {
|
||||
let mount = volumes[j].get_mount();
|
||||
Vendored
+1
@@ -0,0 +1 @@
|
||||
fix-places-volume-without-class.diff
|
||||
|
||||
Reference in New Issue
Block a user