From ef3180d0aa38754c8756ea688e3ecaf2e823bba4 Mon Sep 17 00:00:00 2001 From: John Darrington Date: Sat, 30 Dec 2006 22:34:28 +0000 Subject: [PATCH] Updated names of widgets in menubar --- src/ui/gui/data-editor.glade | 14 +++++--------- 1 file changed, 5 insertions(+), 9 deletions(-) diff --git a/src/ui/gui/data-editor.glade b/src/ui/gui/data-editor.glade index 62de5125..b708a893 100644 --- a/src/ui/gui/data-editor.glade +++ b/src/ui/gui/data-editor.glade @@ -27,13 +27,13 @@ 0 - + True GTK_PACK_DIRECTION_LTR GTK_PACK_DIRECTION_LTR - + True _File True @@ -225,7 +225,7 @@ - + True _View True @@ -450,7 +450,7 @@ - + True _Windows True @@ -473,7 +473,7 @@ - + True _Help True @@ -1101,10 +1101,6 @@ - - - - 0 -- 2.30.2