diff options
Diffstat (limited to 'src/editor.c')
-rw-r--r-- | src/editor.c | 24 |
1 files changed, 22 insertions, 2 deletions
diff --git a/src/editor.c b/src/editor.c index 888f1af..4e0b8c2 100644 --- a/src/editor.c +++ b/src/editor.c @@ -41,21 +41,27 @@ -#include "binary.h" #include "dlg_sections.h" -#include "easygtk.h" #include "pan_strings.h" #include "pan_symbols.h" +#include "analysis/binary.h" +#include "gtkext/easygtk.h" #include "gtkext/gtkbinview.h" #include "gtkext/gtkdockpanel.h" #include "gtkext/gtksnippet.h" #include "format/exe_format.h" #include "format/mangling/demangler.h" +#include "plugins/pglist.h" #include "debug/debuggers.h" #include "panel/panels.h" + +#include "shell.h" /* TODO : à virer -> plugin */ + + + #define _(str) str @@ -180,6 +186,7 @@ int main(int argc, char **argv) editor = create_editor(); gtk_widget_show(editor); + init_all_plugins(G_OBJECT(editor)); gdk_threads_enter(); gtk_main(); @@ -396,10 +403,16 @@ GtkWidget *create_editor(void) submenuitem = qck_create_menu_separator(); gtk_container_add(GTK_CONTAINER(menubar), submenuitem); + + update_debug_menu_items(ref, FALSE); + menuitem = gtk_menu_item_new_with_mnemonic(_("_Plugins")); + gtk_widget_show(menuitem); + gtk_container_add(GTK_CONTAINER(menuboard), menuitem); + @@ -523,6 +536,13 @@ GtkWidget *create_editor(void) + panel = build_shell_panel(G_OBJECT(result)); + + ditem = gtk_dock_item_new(_("Shell"), panel); + gtk_dock_panel_add_item(dpanel, ditem); + + + /* notebook = qck_create_notebook(NULL, NULL); |