From a4d2f5d8b4c3798ab633704994990cbd00725d17 Mon Sep 17 00:00:00 2001
From: nitinosiris <nitinwartkar58@gmail.com>
Date: Thu, 6 May 2021 21:08:23 +0530
Subject: [PATCH] windowMenu: Use consistent terminology

Because we don't have a dock or panel to minimize to, the `minimize`
shortcut was renamed to `hide` a long time ago.

Likewise, `unmaximize` appears as `restore` in keyboard shortcuts.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4088

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1834>
---
 js/ui/windowMenu.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
index bb6a8df7b..27cecdac2 100644
--- a/js/ui/windowMenu.js
+++ b/js/ui/windowMenu.js
@@ -24,14 +24,14 @@ var WindowMenu = class extends PopupMenu.PopupMenu {
 
         let item;
 
-        item = this.addAction(_("Minimize"), () => {
+        item = this.addAction(_('Hide'), () => {
             window.minimize();
         });
         if (!window.can_minimize())
             item.setSensitive(false);
 
         if (window.get_maximized()) {
-            item = this.addAction(_("Unmaximize"), () => {
+            item = this.addAction(_('Restore'), () => {
                 window.unmaximize(Meta.MaximizeFlags.BOTH);
             });
         } else {