From 558c601bb06b04b5f50383b9e47e4b320666ed68 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Schweigh=C3=B6fer?= Date: Thu, 30 Aug 2018 19:28:57 +0000 Subject: [PATCH] Added that special folders for which the bookmark has been renamed will now display that name --- extensions/places-menu/placeDisplay.js | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/extensions/places-menu/placeDisplay.js b/extensions/places-menu/placeDisplay.js index c9e1d3a2..960472cb 100644 --- a/extensions/places-menu/placeDisplay.js +++ b/extensions/places-menu/placeDisplay.js @@ -487,9 +487,15 @@ var PlacesManager = class { if (file.is_native() && !file.query_exists(null)) continue; + let label = null; + if (components.length > 1) + label = components.slice(1).join(' '); + let duplicate = false; for (let i = 0; i < this._places.special.length; i++) { if (file.equal(this._places.special[i].file)) { + this._places.special[i].name = label; + this._places.special[i].emit('changed'); duplicate = true; break; } @@ -505,10 +511,6 @@ var PlacesManager = class { if (duplicate) continue; - let label = null; - if (components.length > 1) - label = components.slice(1).join(' '); - bookmarks.push(new PlaceInfo('bookmarks', file, label)); } -- GitLab