[gnome-shell] windowManager: Use shorter string for dialog headline

[Florian Müllner <fmuellner src gnome org>]

commit 59bd2dd1e3748311670b6b3c5c9e523fe6cef62e
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Tue Jan 21 10:24:50 2020 +0100

    windowManager: Use shorter string for dialog headline
    
    Since the headlines of the dialogs now use a much larger font, the
    strings need to be shorter so they won't be ellipsized.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/942

 js/ui/windowManager.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 1fec105f0c..8634274a49 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -51,7 +51,8 @@ class DisplayChangeDialog extends ModalDialog.ModalDialog {
 
         this._countDown = Meta.MonitorManager.get_display_configuration_timeout();
 
-        let title = _("Do you want to keep these display settings?");
+        // Translators: This string should be shorter than 30 characters
+        let title = _('Keep these display settings?');
         let description = this._formatCountDown();
 
         this._content = new Dialog.MessageDialogContent({ title, description });