File 0001-window-list-import-gettext-for-the-right-d... of Package gnome-shell-extensions.705

Overview Repositories Revisions Requests Users Attributes Meta

File 0001-window-list-import-gettext-for-the-right-domain.patch of Package gnome-shell-extensions.705

From 66216993e078c1f1a1f03d4bf3687ec639a73a5e Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Wed, 5 Feb 2014 00:50:27 +0100
Subject: [PATCH] window-list: import gettext for the right domain

Default _ is gettext from gnome-shell domain, which doesn't have
the strings we need.
We could use mutter's, but translators already did their job
on pretty much all supported languages, so...
---
 extensions/window-list/extension.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 82ebd22..ad914fb 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -17,6 +17,9 @@ const ExtensionUtils = imports.misc.extensionUtils;
 const Me = ExtensionUtils.getCurrentExtension();
 const Convenience = Me.imports.convenience;
 
+const Gettext = imports.gettext.domain('gnome-shell-extensions');
+const _ = Gettext.gettext;
+
 const ICON_TEXTURE_SIZE = 24;
 const DND_ACTIVATE_TIMEOUT = 500;
 
-- 
1.8.4.5

Places

File 0001-window-list-import-gettext-for-the-right-domain.patch of Package gnome-shell-extensions.705

Places