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

[Debarshi Ray <debarshir src gnome org>]

commit b1018e14844d5e021245ae691c97f902ec72e1a6
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

 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>