From 92ee3ad157c6a01bfeabe4872507d4806bbd2e4c Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Thu, 10 Oct 2019 14:48:42 -0400 Subject: [PATCH] Include update.js in files to localize --- Makefile | 2 +- update.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 0b920e2..6e7f1ad 100644 --- a/Makefile +++ b/Makefile @@ -5,7 +5,7 @@ BASE_MODULES = extension.js stylesheet.css metadata.json COPYING README.md EXTRA_MODULES = appIcons.js convenience.js panel.js panelManager.js proximity.js intellihide.js panelStyle.js overview.js taskbar.js transparency.js windowPreview.js prefs.js update.js utils.js Settings.ui EXTRA_IMAGES = highlight_stacked_bg.svg highlight_stacked_bg_2.svg highlight_stacked_bg_3.svg -TOLOCALIZE = prefs.js appIcons.js +TOLOCALIZE = prefs.js appIcons.js update.js MSGSRC = $(wildcard po/*.po) ifeq ($(strip $(DESTDIR)),) INSTALLBASE = $(HOME)/.local/share/gnome-shell/extensions diff --git a/update.js b/update.js index a174ab9..94d0893 100644 --- a/update.js +++ b/update.js @@ -151,7 +151,7 @@ function notifyInstallResult(err) { } else { notify( _('Update successful, please restart GNOME Shell'), - { text: _('Restart GNOME Shell'), func: () => imports.gi.Meta.restart(_("Restarting GNOME Shell…")) } + { text: _('Restart GNOME Shell'), func: () => imports.gi.Meta.restart(_("Restarting GNOME Shell...")) } ); } }