From cddfa3172f85c47bdb51f5f97e80c26318628452 Mon Sep 17 00:00:00 2001 From: abakkk Date: Sun, 11 Oct 2020 13:09:28 +0200 Subject: [PATCH] Font size markup bug workaround The "small" font size attribute was applied to the whole text. https://gitlab.gnome.org/GNOME/mutter/-/issues/1467 --- extension.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/extension.js b/extension.js index 638cf12..3240084 100644 --- a/extension.js +++ b/extension.js @@ -407,8 +407,9 @@ const AreaManager = new Lang.Class({ this.activeArea.enterDrawingMode(); this.osdDisabled = Me.settings.get_boolean('osd-disabled'); + // is a clutter/mutter 3.38 bug workaround: https://gitlab.gnome.org/GNOME/mutter/-/issues/1467 // Translators: %s is a key label - let label = "" + _("Press %s for help").format(this.activeArea.helper.helpKeyLabel) + "\n\n" + _("Entering drawing mode"); + let label = `${_("Press %s for help").format(this.activeArea.helper.helpKeyLabel)}\n\n${_("Entering drawing mode")}`; this.showOsd(null, Files.Icons.ENTER, label, null, null, true); }