Codebase list gnome-shell-extension-desktop-icons / 4fb3d63
fileItem.js: Refresh thumbnails if file changes LP: #1879375 Marco Trevisan (TreviƱo) 4 years ago
2 changed file(s) with 31 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
0 From: Sergio Costas <raster@rastersoft.com>
1 Date: Thu, 2 Apr 2020 22:43:18 +0200
2 Subject: fileItem.js: Refresh thumbnails if file changes
3
4 If a picture changes, the thumbnail isn't refreshed. This
5 patch ensures that it is refreshed if needed.
6
7 Origin: https://gitlab.gnome.org/World/ShellExtensions/desktop-icons/commit/64a5124d
8 Bug-Ubuntu: https://bugs.launchpad.net/bugs/1879375
9 ---
10 fileItem.js | 5 ++---
11 1 file changed, 2 insertions(+), 3 deletions(-)
12
13 diff --git a/fileItem.js b/fileItem.js
14 index 10d9df4..ff94ee9 100644
15 --- a/fileItem.js
16 +++ b/fileItem.js
17 @@ -223,10 +223,9 @@ var FileItem = GObject.registerClass({
18 let newFileInfo = source.query_info_finish(result);
19 this._queryFileInfoCancellable = null;
20 this._updateMetadataFromFileInfo(newFileInfo);
21 - if (rebuild) {
22 + if (rebuild)
23 this._recreateMenu();
24 - this._updateIcon();
25 - }
26 + this._updateIcon();
27 } catch(error) {
28 if (!error.matches(Gio.IOErrorEnum, Gio.IOErrorEnum.CANCELLED))
29 global.log("Error getting the file info: " + error);
1818 fileItem.js-unselect-a-file-with-Ctrl-or-Shift.patch
1919 desktopGrid.js-fix-number-of-parameters.patch
2020 general-Fix-key-symbols.patch
21 fileItem.js-Refresh-thumbnails-if-file-changes.patch