[gnome-text-editor] window: use "View" instead of "Document Properties"

[Christian Hergert <chergert src gnome org>]

commit c78dac7124dd8a0f2174efde16bacce7cea310fa
Author: Christian Hergert <chergert redhat com>
Date:   Tue Jul 20 08:25:15 2021 -0700

    window: use "View" instead of "Document Properties"
    
    This probably matches more closely to what the menu would have been.
    
    Fixes #116

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