[gnome-text-editor] menus: use "Document Type"

[Christian Hergert <chergert src gnome org>]

commit 09843e132f33c51697d425843526506fa2dae97d
Author: Christian Hergert <chergert redhat com>
Date:   Tue Nov 30 00:06:19 2021 -0800

    menus: use "Document Type"
    
    This just changes "Highlight Mode" to "Document Type". It does not yet
    alter the menu contents to contain the current documents type as that
    will require further mutation.
    
    Related #230

 src/editor-language-dialog.ui | 2 +-
 src/menus.ui                  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/editor-language-dialog.ui b/src/editor-language-dialog.ui
index a6a88c4..86dfa65 100644
--- a/src/editor-language-dialog.ui
+++ b/src/editor-language-dialog.ui
@@ -2,7 +2,7 @@
 <interface>
   <requires lib="gtk+" version="4.0"/>
   <template class="EditorLanguageDialog" parent="GtkWindow">
-    <property name="title" translatable="yes">Highlight Mode</property>
+    <property name="title" translatable="yes">Document Type</property>
     <child type="titlebar">
       <object class="GtkHeaderBar"/>
     </child>
diff --git a/src/menus.ui b/src/menus.ui
index 5642545..9826964 100644
--- a/src/menus.ui
+++ b/src/menus.ui
@@ -138,7 +138,7 @@
         <attribute name="action">settings.spellcheck</attribute>
       </item>
       <item>
-        <attribute name="label" translatable="yes">_Highlight Mode</attribute>
+        <attribute name="label" translatable="yes">_Document Type</attribute>
         <attribute name="action">page.change-language</attribute>
       </item>
     </section>