[gnome-text-editor] window: add tooltip for document properties

[Christian Hergert <chergert src gnome org>]

commit 1c65af2c275298ef5f2aa089b932028ea48379b1
Author: Christian Hergert <chergert redhat com>
Date:   Tue Jul 20 08:22:23 2021 -0700

    window: add tooltip for document properties
    
    Related #113

 src/editor-window.ui | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/editor-window.ui b/src/editor-window.ui
index 25739d5..719d08f 100644
--- a/src/editor-window.ui
+++ b/src/editor-window.ui
@@ -97,6 +97,7 @@
                 </child>
                 <child>
                   <object class="GtkMenuButton" id="options_menu">
+                    <property name="tooltip-text" translatable="yes">Document Properties</property>
                     <property name="icon-name">document-properties-symbolic</property>
                   </object>
                 </child>