From b86afb94db26dba9d67d274736f07866b41b185d Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Sun, 8 Jul 2001 21:55:13 +0000
Subject: devdir command via menu

---
 mixgtk/mixgtk_widgets.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'mixgtk/mixgtk_widgets.c')

diff --git a/mixgtk/mixgtk_widgets.c b/mixgtk/mixgtk_widgets.c
index 0a1acda..c286467 100644
--- a/mixgtk/mixgtk_widgets.c
+++ b/mixgtk/mixgtk_widgets.c
@@ -42,7 +42,8 @@ static const gchar * dnames_[] = {
   "fontsel_dialog",
   "devform_dialog",
   "external_dialog",
-  "symbols_dialog"
+  "symbols_dialog",
+  "devdir_dialog"
 };
 
 const gchar *SPLIT_MAIN_NAME_ = "split_main_window";
-- 
cgit v1.2.3