diff options
Diffstat (limited to 'src/editor.c')
-rw-r--r-- | src/editor.c | 23 |
1 files changed, 18 insertions, 5 deletions
diff --git a/src/editor.c b/src/editor.c index 3614379..1c33296 100644 --- a/src/editor.c +++ b/src/editor.c @@ -1,17 +1,17 @@ -/* Firebox Tools - Outils de configurations pour le WM Firebox +/* OpenIDA - Outils de configurations pour le WM Firebox * editor.c - fichier principal de l'éditeur de configuration * * Copyright (C) 2006-2007 Cyrille Bagard * - * This file is part of Firebox Tools. + * This file is part of OpenIDA. * - * Firebox Tools is free software; you can redistribute it and/or modify + * OpenIDA is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by - * the Free Software Foundation; either version 2 of the License, or + * the Free Software Foundation; either version 3 of the License, or * (at your option) any later version. * - * Firebox Tools is distributed in the hope that it will be useful, + * OpenIDA is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. @@ -49,6 +49,10 @@ /** Partie ptrace() **/ +#include "binary.h" +#include "gtksnippet.h" + + #define _(str) str @@ -426,7 +430,12 @@ GtkWidget *create_editor(void) gtk_paned_pack1 (GTK_PANED (hpaned1), scrolledwindow2, FALSE, TRUE); gtk_scrolled_window_set_shadow_type (GTK_SCROLLED_WINDOW (scrolledwindow2), GTK_SHADOW_IN); + textview2 = gtk_snippet_new(); + gtk_snippet_set_sel(GTK_SNIPPET(textview2), 44); + fill_snippet(textview2); + /* textview2 = gtk_text_view_new (); + */ gtk_widget_show (textview2); gtk_container_add (GTK_CONTAINER (scrolledwindow2), textview2); @@ -531,6 +540,7 @@ GtkWidget *create_editor(void) gtk_misc_set_alignment (GTK_MISC (label12), 0, 0.5); lbl_eax = label12; + gtk_widget_modify_font(lbl_eax, pango_font_description_from_string ("Monospace")); label14 = gtk_label_new (_("0x00000000")); gtk_widget_show (label14); @@ -540,6 +550,7 @@ GtkWidget *create_editor(void) gtk_misc_set_alignment (GTK_MISC (label14), 0, 0.5); lbl_ebx = label14; + gtk_widget_modify_font(lbl_ebx, pango_font_description_from_string ("Monospace 10")); label15 = gtk_label_new (_("0x00000000")); gtk_widget_show (label15); @@ -549,6 +560,7 @@ GtkWidget *create_editor(void) gtk_misc_set_alignment (GTK_MISC (label15), 0, 0.5); lbl_ecx = label15; + gtk_widget_modify_font(lbl_ecx, pango_font_description_from_string ("Monospace 10")); label16 = gtk_label_new (_("0x00000000")); gtk_widget_show (label16); @@ -558,6 +570,7 @@ GtkWidget *create_editor(void) gtk_misc_set_alignment (GTK_MISC (label16), 0, 0.5); lbl_edx = label16; + gtk_widget_modify_font(lbl_edx, pango_font_description_from_string ("Monospace 10")); label17 = gtk_label_new (_("0x00000000")); gtk_widget_show (label17); |