[gnome-terminal/gnome-3-32] headermenu: Add placeholder item for win.set-title

[Debarshi Ray <debarshir src gnome org>]

commit bc7c6d43b31641776b3b678a763cb4cb74d9c66a
Author: Debarshi Ray <debarshir gnome org>
Date:   Fri Mar 29 18:36:02 2019 +0100

    headermenu: Add placeholder item for win.set-title
    
    ... to match the ones in the main menubar and the notebook-menus.
    
    https://gitlab.gnome.org/GNOME/gnome-terminal/issues/97
    (cherry picked from commit 79beb57a5f3e9f644ea3f3c78b2da277a5a349d4)

 src/terminal-headermenu.ui | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/src/terminal-headermenu.ui b/src/terminal-headermenu.ui
index 0176e4c5..42d52969 100644
--- a/src/terminal-headermenu.ui
+++ b/src/terminal-headermenu.ui
@@ -50,6 +50,11 @@
         <attribute name="label" translatable="yes">Read-_Only</attribute>
         <attribute name="action">win.read-only</attribute>
       </item>
+      <item>
+        <attribute name="label" translatable="yes">Set _Title…</attribute>
+        <attribute name="action">win.set-title</attribute>
+        <attribute name="hidden-when">action-missing</attribute>
+      </item>
       <section id="set-profile-section" />
       <submenu>
         <attribute name="label" translatable="yes">_Advanced</attribute>