From 92e6f037de39ab7ddd3a052232bb4a361c88500e Mon Sep 17 00:00:00 2001
From: Jean Sirmai <jean@a-lec.org>
Date: Wed, 10 Jan 2024 11:59:57 +0100
Subject: [PATCH] WIP: (forget the two previous commits and focus on : how to
 edit tree nodes)

---
 src/ui/gemgraph.ui | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/ui/gemgraph.ui b/src/ui/gemgraph.ui
index 07481f0..798c918 100644
--- a/src/ui/gemgraph.ui
+++ b/src/ui/gemgraph.ui
@@ -76,7 +76,7 @@
                             <child>
                               <object class="GtkStackPage">
                                 <property name="name">runlib_objects</property>
-                                <property name="title" translatable="yes">Library</property>
+                                <property name="title" translatable="yes">Objects</property>
                                 <property name="visible">True</property>
                                 <property name="child">
                                   <object class="GtkBox" id="runlib_objects">
@@ -104,7 +104,7 @@
                             <child>
                               <object class="GtkStackPage">
                                 <property name="name">runlib_states</property>
-                                <property name="title" translatable="yes">World</property>
+                                <property name="title" translatable="yes">States</property>
                                 <property name="visible">True</property>
                                 <property name="child">
                                   <object class="GtkLabel" id="label_runlib_states">
@@ -341,3 +341,4 @@
   </menu>
 </interface>
 
+