diff options
Diffstat (limited to 'src/editor.c')
-rw-r--r-- | src/editor.c | 42 |
1 files changed, 41 insertions, 1 deletions
diff --git a/src/editor.c b/src/editor.c index 0673110..a07301f 100644 --- a/src/editor.c +++ b/src/editor.c @@ -54,6 +54,7 @@ #include "easygtk.h" #include "gtksnippet.h" #include "gtkcodeview.h" +#include "pan_strings.h" #include "pan_symbols.h" @@ -429,10 +430,17 @@ GtkWidget *create_editor(void) GtkWidget *codeview; GtkWidget *panel; + GtkWidget *_panel; + openida_project *project; + GtkWidget *notebook; /* Support à onglets */ + GtkWidget *label; /* Etiquette pour onglet */ + + + #if 0 GtkWidget *vbox; /* Support à divisions vert. */ GtkWidget *notebook; /* Support à onglets */ @@ -560,6 +568,9 @@ GtkWidget *create_editor(void) panel = build_symbols_panel(G_OBJECT(result)); gtk_paned_pack2 (GTK_PANED (hpaned1), panel, TRUE, TRUE); + _panel = panel; + + label1 = gtk_label_new (_("Registres :")); gtk_widget_show (label1); gtk_fixed_put (GTK_FIXED (fixed1), label1, 16, 48); @@ -724,6 +735,27 @@ GtkWidget *create_editor(void) (GtkAttachOptions) (0), 0, 0); gtk_misc_set_alignment (GTK_MISC (label21), 0, 0.5); + + + + /* Panneau inférieur */ + + notebook = qck_create_notebook(NULL, NULL); + gtk_paned_pack2(GTK_PANED(vpaned1), notebook, FALSE, FALSE); + + panel = build_strings_panel(G_OBJECT(result)); + gtk_container_add(GTK_CONTAINER(notebook), panel); + + label = qck_create_label(NULL, NULL, _("Strings")); + gtk_notebook_set_tab_label(GTK_NOTEBOOK(notebook), gtk_notebook_get_nth_page(GTK_NOTEBOOK(notebook), 0), label); + + + + + + + /* + scrolledwindow1 = gtk_scrolled_window_new (NULL, NULL); gtk_widget_show (scrolledwindow1); gtk_paned_pack2 (GTK_PANED (vpaned1), scrolledwindow1, TRUE, TRUE); @@ -732,6 +764,10 @@ GtkWidget *create_editor(void) gtk_widget_show (textview1); gtk_container_add (GTK_CONTAINER (scrolledwindow1), textview1); + + */ + + statusbar1 = gtk_statusbar_new (); gtk_widget_show (statusbar1); gtk_box_pack_start (GTK_BOX (vbox1), statusbar1, FALSE, FALSE, 0); @@ -757,7 +793,11 @@ GtkWidget *create_editor(void) - fill_snippet(textview2, panel); + /* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! */ + fill_snippet(textview2, _panel, panel); + + + return result; |