[gtk/inspector-tweaks: 7/7] inspector: Rename a few pages

[Matthias Clasen <matthiasc src gnome org>]

commit cf3aa570c213507f0f90189cf10627d60914af1f
Author: Matthias Clasen <mclasen redhat com>
Date:   Tue Apr 2 22:00:46 2019 +0000

    inspector: Rename a few pages
    
    "Global" and "Visual" are not very good names for
    the content of these pages. Rename them to
    "Information and "Settings".

 gtk/inspector/window.ui | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gtk/inspector/window.ui b/gtk/inspector/window.ui
index 8f20480b97..e3fcaa73f0 100644
--- a/gtk/inspector/window.ui
+++ b/gtk/inspector/window.ui
@@ -422,7 +422,7 @@
                     <child>
                       <object class="GtkStackPage">
                         <property name="name">general</property>
-                        <property name="title" translatable="yes">General</property>
+                        <property name="title" translatable="yes">Information</property>
                         <property name="child">
                           <object class="GtkInspectorGeneral"/>
                         </property>
@@ -431,7 +431,7 @@
                     <child>
                       <object class="GtkStackPage">
                         <property name="name">visual</property>
-                        <property name="title" translatable="yes">Visual</property>
+                        <property name="title" translatable="yes">Settings</property>
                         <property name="child">
                           <object class="GtkInspectorVisual"/>
                         </property>