diff options
Diffstat (limited to 'src/editor.c')
| -rw-r--r-- | src/editor.c | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/editor.c b/src/editor.c index fb0ccc7..e540e5e 100644 --- a/src/editor.c +++ b/src/editor.c @@ -63,9 +63,6 @@ -#include "shell.h" /* TODO : à virer -> plugin */ - - @@ -559,10 +556,10 @@ GtkWidget *create_editor(void) - panel = build_shell_panel(G_OBJECT(result)); + //panel = build_shell_panel(G_OBJECT(result)); - ditem = g_dock_item_new(_("Shell"), panel); - gtk_dock_panel_add_item(dpanel, ditem); + //ditem = g_dock_item_new(_("Shell"), panel); + //gtk_dock_panel_add_item(dpanel, ditem); |