X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Ftest%2FguiGTK.c;h=ce6c31ef227b078c4d9eec664879372115727999;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=88b85f8b585145fc5ded90c713aa3cdd37690996;hpb=6bb809fdd7a94a55031dbb50f5510539aae13b28;p=helm.git diff --git a/helm/DEVEL/mathml_editor/test/guiGTK.c b/helm/DEVEL/mathml_editor/test/guiGTK.c index 88b85f8b5..ce6c31ef2 100644 --- a/helm/DEVEL/mathml_editor/test/guiGTK.c +++ b/helm/DEVEL/mathml_editor/test/guiGTK.c @@ -1,25 +1,26 @@ -/* - * Copyright (C) 2000, Luca Padovani . +/* This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax. * - * This file is part of GtkMathView, a Gtk widget for MathML. - * - * GtkMathView 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 (at your option) any later version. - * - * GtkMathView is distributed in the hope that it will be useful, + * Copyright (C) 2002-2003 Luca Padovani , + * 2003 Paolo Marinelli . + * + * This library is free software; you can redistribute it and/or + * modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation; either + * version 2.1 of the License, or (at your option) any later version. + * + * This library 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. - * - * You should have received a copy of the GNU General Public License - * along with GtkMathView; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. - * - * For details, see the GtkMathView World-Wide-Web page, - * http://cs.unibo.it/~lpadovan/mml-widget, or send a mail to - * + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public + * License along with this library; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * + * For more information, please visit the project's home page + * http://helm.cs.unibo.it/editex/ + * or send an email to */ #include @@ -27,7 +28,6 @@ #include #include -#include #include "guiGTK.h" #define XLINK_NS_URI "http://www.w3.org/1999/xlink" @@ -35,31 +35,26 @@ static GtkWidget* window; static GtkWidget* main_area; static GtkWidget* scrolled_area; -static GtkWidget* status_bar; -static GtkMenuItem* anti_aliasing_item; -static GtkMenuItem* transparency_item; -static GdkCursor* normal_cursor; -static GdkCursor* link_cursor; +static gpointer context = NULL; static gchar* doc_name = NULL; +static GdomeElement* first_selected = NULL; static GdomeElement* root_selected = NULL; -static guint statusbar_context; - static void create_widget_set(gpointer); static GtkWidget* get_main_menu(void); static void file_open(GtkWidget*, gpointer); static void file_re_open(GtkWidget*, gpointer); static void file_close(GtkWidget*, gpointer); -static void options_font_manager(GtkWidget*, FontManagerId); +static void file_output_tex(GtkWidget*, gpointer); static void options_set_font_size(GtkWidget*, gpointer); static void options_change_font_size(GtkWidget*, gboolean); static void options_verbosity(GtkWidget*, guint); -static void options_anti_aliasing(GtkWidget*, gpointer); -static void options_transparency(GtkWidget*, gpointer); -static void selection_delete(GtkWidget*, gpointer); -static void selection_parent(GtkWidget*, gpointer); -static void selection_reset(GtkWidget*, gpointer); +static void edit_delete_selection(GtkWidget*, gpointer); +static void edit_select_parent(GtkWidget*, gpointer); +static void edit_reset_selection(GtkWidget*, gpointer); +static void edit_reset(GtkWidget*, gpointer); +static void edit_insert(GtkWidget*, gpointer); static void help_about(GtkWidget*, gpointer); static GtkItemFactoryEntry menu_items[] = { @@ -67,13 +62,17 @@ static GtkItemFactoryEntry menu_items[] = { { "/File/_Open...", "O", file_open, 0, NULL }, { "/File/_Reopen", NULL, file_re_open, 0, NULL }, { "/File/_Close", "W", file_close, 0, NULL }, + { "/File/Output _TeX", NULL, file_output_tex, 0, NULL }, { "/File/sep1", NULL, NULL, 0, "" }, { "/File/_Quit", "Q", gtk_main_quit, 0, NULL }, - { "/_Selection", NULL, NULL, 0, "" }, - { "/Selection/Reset", NULL, selection_reset, 0, NULL }, - { "/Selection/Delete", NULL, selection_delete, 0, NULL }, - { "/Selection/Select Parent", NULL, selection_parent, 0, NULL }, + { "/_Edit", NULL, NULL, 0, "" }, + { "/Edit/Reset Selection", NULL, edit_reset_selection, 0, NULL }, + { "/Edit/Delete Selection", NULL, edit_delete_selection, 0, NULL }, + { "/Edit/Select Parent", NULL, edit_select_parent, 0, NULL }, + { "/Edit/sep1", NULL, NULL, 0, "" }, + { "/Edit/_Reset", NULL, edit_reset, 0, NULL }, + { "/Edit/Insert...", "I", edit_insert, 0, NULL }, { "/_Options", NULL, NULL, 0, "" }, { "/Options/Default _Font Size", NULL, NULL, 0, "" }, @@ -81,17 +80,11 @@ static GtkItemFactoryEntry menu_items[] = { { "/Options/Default Font Size/sep1", NULL, NULL, 0, "" }, { "/Options/Default Font Size/Larger", NULL, options_change_font_size, TRUE, NULL }, { "/Options/Default Font Size/Smaller", NULL, options_change_font_size, FALSE, NULL }, - { "/Options/Font Manager", NULL, NULL, 0, "" }, - { "/Options/Font Manager/_GTK", NULL, options_font_manager, FONT_MANAGER_GTK, "" }, - { "/Options/Font Manager/_Type 1", NULL, options_font_manager, FONT_MANAGER_T1, "/Options/Font Manager/GTK" }, { "/Options/Verbosity", NULL, NULL, 0, "" }, { "/Options/Verbosity/_Errors", NULL, options_verbosity, 0, "" }, { "/Options/Verbosity/_Warnings", NULL, options_verbosity, 1, "/Options/Verbosity/Errors" }, { "/Options/Verbosity/_Info", NULL, options_verbosity, 2, "/Options/Verbosity/Errors" }, { "/Options/Verbosity/_Debug", NULL, options_verbosity, 3, "/Options/Verbosity/Errors" }, - { "/Options/sep1", NULL, NULL, 0, "" }, - { "/Options/_Anti Aliasing", NULL, options_anti_aliasing, 0, "" }, - { "/Options/_Transparency", NULL, options_transparency, 0, "" }, { "/_Help" , NULL, NULL, 0, "" }, { "/Help/About...", NULL, help_about, 0, NULL } @@ -133,8 +126,11 @@ load_error_msg(const char* name) g_free(msg); } +static guint edit_timeout_id; +extern void edit_timeout(gpointer); + void -GUI_init(int* argc, char*** argv, char* title, guint width, guint height, gpointer context) +GUI_init(int* argc, char*** argv, char* title, guint width, guint height, gpointer c) { gtk_init(argc, argv); @@ -146,15 +142,30 @@ GUI_init(int* argc, char*** argv, char* title, guint width, guint height, gpoint gtk_widget_show(window); - normal_cursor = gdk_cursor_new(GDK_TOP_LEFT_ARROW); - link_cursor = gdk_cursor_new(GDK_HAND2); - - /*edit_timeout_id = gtk_timeout_add(400, edit_timeout, context);*/ + context = c; + /*edit_timeout_id = gtk_timeout_add(50, edit_timeout, context);*/ } void GUI_uninit() { + GdomeException exc = 0; + + if (first_selected != NULL) + { + gdome_el_unref(first_selected, &exc); + g_assert(exc == 0); + first_selected = NULL; + } + + if (root_selected != NULL) + { + gdome_el_unref(root_selected, &exc); + g_assert(exc == 0); + root_selected = NULL; + } + + context = NULL; } int @@ -168,7 +179,7 @@ GUI_load_document(GdomeDocument* doc) math_view = GTK_MATH_VIEW(main_area); - if (!gtk_math_view_load_doc(math_view, doc)) return -1; + if (!gtk_math_view_load_document(math_view, doc)) return -1; return 0; } @@ -199,9 +210,6 @@ GUI_unload_document() if (doc_name != NULL) g_free(doc_name); doc_name = NULL; - - gtk_statusbar_pop(GTK_STATUSBAR(status_bar), statusbar_context); - gtk_statusbar_push(GTK_STATUSBAR(status_bar), statusbar_context, ""); } void @@ -210,6 +218,7 @@ GUI_run() gtk_main(); } +#if 0 void GUI_set_font_manager(FontManagerId id) { @@ -229,17 +238,13 @@ GUI_set_font_manager(FontManagerId id) if (id != gtk_math_view_get_font_manager_type(math_view)) gtk_math_view_set_font_manager_type(math_view, id); - gtk_widget_set_sensitive(anti_aliasing_item, t1); - gtk_widget_set_sensitive(transparency_item, t1); - - if (t1) - { - gtk_math_view_set_anti_aliasing(math_view, GTK_CHECK_MENU_ITEM(anti_aliasing_item)->active); + gtk_widget_set_sensitive(anti_aliasing(math_view, GTK_CHECK_MENU_ITEM(anti_aliasing_item)->active); gtk_math_view_set_transparency(math_view, GTK_CHECK_MENU_ITEM(transparency_item)->active); } gtk_math_view_thaw(math_view); } +#endif static void store_filename(GtkFileSelection* selector, GtkWidget* user_data) @@ -287,25 +292,20 @@ file_open(GtkWidget* widget, gpointer data) } static void -options_font_manager(GtkWidget* widget, FontManagerId id) +file_output_tex(GtkWidget* widget, gpointer data) { - g_return_if_fail(id != FONT_MANAGER_UNKNOWN); - GUI_set_font_manager(id); -} - -static void -options_anti_aliasing(GtkWidget* widget, gpointer data) -{ - gboolean aa = gtk_math_view_get_anti_aliasing(GTK_MATH_VIEW(main_area)); - gtk_math_view_set_anti_aliasing(GTK_MATH_VIEW(main_area), !aa); + g_assert(context != NULL); + edit_output_tex(context); } +#if 0 static void -options_transparency(GtkWidget* widget, gpointer data) +options_font_manager(GtkWidget* widget, FontManagerId id) { - gboolean t = gtk_math_view_get_transparency(GTK_MATH_VIEW(main_area)); - gtk_math_view_set_transparency(GTK_MATH_VIEW(main_area), !t); + g_return_if_fail(id != FONT_MANAGER_UNKNOWN); + GUI_set_font_manager(id); } +#endif static void options_verbosity(GtkWidget* widget, guint level) @@ -314,7 +314,7 @@ options_verbosity(GtkWidget* widget, guint level) } static void -selection_delete(GtkWidget* widget, gpointer data) +edit_delete_selection(GtkWidget* widget, gpointer data) { if (root_selected != NULL) { @@ -330,7 +330,7 @@ selection_delete(GtkWidget* widget, gpointer data) } static void -selection_parent(GtkWidget* widget, gpointer data) +edit_select_parent(GtkWidget* widget, gpointer data) { if (root_selected != NULL) { @@ -340,23 +340,75 @@ selection_parent(GtkWidget* widget, gpointer data) gdome_el_unref(root_selected, &exc); g_assert(exc == 0); root_selected = parent; - gtk_math_view_set_selection(GTK_MATH_VIEW(main_area), root_selected); + /* gtk_math_view_set_selection(GTK_MATH_VIEW(main_area), root_selected); */ } } static void -selection_reset(GtkWidget* widget, gpointer data) +edit_reset_selection(GtkWidget* widget, gpointer data) { if (root_selected != NULL) { GdomeException exc = 0; - gtk_math_view_reset_selection(GTK_MATH_VIEW(main_area), root_selected); + /* gtk_math_view_reset_selection(GTK_MATH_VIEW(main_area), root_selected); */ gdome_el_unref(root_selected, &exc); g_assert(exc == 0); root_selected = NULL; } } +static void +edit_reset(GtkWidget* widget, gpointer data) +{ + g_assert(context != NULL); + edit_reset_tex(context); +} + +static void +insert_tex(GtkWidget* widget, GtkEntry* entry) +{ + gchar* text; + g_return_if_fail(entry != NULL); + + text = gtk_editable_get_chars(GTK_EDITABLE(entry), 0, -1); + edit_push_string(context, text); + g_free(text); +} + +static void +edit_insert(GtkWidget* widget, gpointer data) +{ + GtkWidget* dialog; + GtkWidget* entry; + GtkWidget* ok; + GtkWidget* cancel; + + dialog = gtk_dialog_new(); + entry = gtk_entry_new(); + ok = gtk_button_new_with_label("OK"); + cancel = gtk_button_new_with_label("Cancel"); + + gtk_signal_connect (GTK_OBJECT (ok), "clicked", + GTK_SIGNAL_FUNC (insert_tex), (gpointer) entry); + + gtk_signal_connect_object (GTK_OBJECT (ok), "clicked", + GTK_SIGNAL_FUNC (gtk_widget_destroy), (gpointer) dialog); + + gtk_signal_connect_object (GTK_OBJECT (ok), "clicked", + GTK_SIGNAL_FUNC (gtk_widget_destroy), (gpointer) dialog); + + gtk_signal_connect_object (GTK_OBJECT (cancel), "clicked", + GTK_SIGNAL_FUNC (gtk_widget_destroy), (gpointer) dialog); + + gtk_container_set_border_width (GTK_CONTAINER (GTK_DIALOG(dialog)->vbox), 5); + + gtk_container_add (GTK_CONTAINER (GTK_DIALOG(dialog)->vbox), entry); + gtk_container_add (GTK_CONTAINER (GTK_DIALOG(dialog)->action_area), ok); + gtk_container_add (GTK_CONTAINER (GTK_DIALOG(dialog)->action_area), cancel); + + gtk_widget_show_all (dialog); +} + static void help_about(GtkWidget* widget, gpointer data) { @@ -365,7 +417,7 @@ help_about(GtkWidget* widget, gpointer data) GtkWidget* ok; dialog = gtk_dialog_new(); - label = gtk_label_new("\n MathML Viewer \n Copyright (C) 2000-2003 Luca Padovani \n"); + label = gtk_label_new("\n MathML Editor \n Copyright (C) 2003 Luca Padovani \n"); ok = gtk_button_new_with_label("Close"); gtk_signal_connect_object (GTK_OBJECT (ok), "clicked", @@ -379,7 +431,7 @@ help_about(GtkWidget* widget, gpointer data) } static void -change_default_font_size(GtkSpinButton* widget, GtkSpinButton* spin) +change_default_font_size(GtkWidget* widget, GtkSpinButton* spin) { g_return_if_fail(spin != NULL); gtk_math_view_set_font_size( GTK_MATH_VIEW(main_area), gtk_spin_button_get_value_as_int(spin)); @@ -436,97 +488,75 @@ options_set_font_size(GtkWidget* widget, gpointer data) gtk_widget_show_all (dialog); } -#if 0 -#if defined(HAVE_GMETADOM) static void -element_changed(GtkMathView* math_view, GdomeElement* elem) +select_begin(GtkMathView* math_view, GdomeElement* first, gint state) { - GdomeDOMString* link = NULL; + GdomeException exc = 0; g_return_if_fail(math_view != NULL); g_return_if_fail(GTK_IS_MATH_VIEW(math_view)); - -/* printf("pointer is on %p\n", elem); */ - - link = find_hyperlink(elem, XLINK_NS_URI, "href"); - if (link != NULL) - gdk_window_set_cursor(GTK_WIDGET(math_view)->window, link_cursor); - else - gdk_window_set_cursor(GTK_WIDGET(math_view)->window, normal_cursor); - - if (link != NULL) - gdome_str_unref(link); -} -#endif -#endif - -static void -selection_changed(GtkMathView* math_view, GdomeElement* first, GdomeElement* last) -{ - g_return_if_fail(math_view != NULL); - g_return_if_fail(GTK_IS_MATH_VIEW(math_view)); g_return_if_fail(first != NULL); -/* printf("selection changed %p %p\n", first, last); */ + gtk_math_view_freeze(math_view); - if (last != NULL) + if (root_selected != NULL) { - GdomeException exc = 0; + gtk_math_view_unselect(math_view, root_selected); + gdome_el_unref(root_selected, &exc); + g_assert(exc == 0); + } - if (root_selected != NULL) - { - gdome_el_unref(root_selected, &exc); - g_assert(exc == 0); - } + root_selected = first_selected = find_element_with_ref(first); - root_selected = find_common_ancestor(first, last); -/* printf("selecting root %p\n", first, last, root_selected); */ - gtk_math_view_set_selection(math_view, root_selected); + if (root_selected != NULL) + { + gtk_math_view_select(math_view, root_selected); + gdome_el_ref(root_selected, &exc); g_assert(exc == 0); } + + gtk_math_view_thaw(math_view); } -#if 0 -#if defined(HAVE_GMETADOM) static void -clicked(GtkMathView* math_view, GdomeElement* elem) +select_over(GtkMathView* math_view, GdomeElement* elem, gint state) { - GdomeException exc; - GdomeDOMString* name; - GdomeDOMString* ns_uri; - GdomeElement* p; + GdomeElement* new_selected = NULL; + GdomeException exc = 0; g_return_if_fail(math_view != NULL); + g_return_if_fail(GTK_IS_MATH_VIEW(math_view)); + g_return_if_fail(elem != NULL); - /* printf("clicked on %p\n", elem); */ + if (first_selected == NULL || elem == NULL) + new_selected = NULL; + else + new_selected = find_common_ancestor_with_ref(first_selected, elem); - if (elem != NULL) + if (new_selected != root_selected) { - GdomeElement* action; - GdomeDOMString* href = find_hyperlink(elem, XLINK_NS_URI, "href"); - if (href != NULL) - { -/* printf("hyperlink %s\n", href->str); */ - gdome_str_unref(href); - } - - action = find_self_or_ancestor(elem, MATHML_NS_URI, "maction"); -/* printf("action? %p\n", action); */ - if (action != NULL) + gtk_math_view_freeze(math_view); + if (root_selected != NULL) { - gtk_math_view_freeze(math_view); - action_toggle(action); - gtk_math_view_thaw(math_view); - gdome_el_unref(action, &exc); + gtk_math_view_unselect(math_view, root_selected); + gdome_el_unref(root_selected, &exc); g_assert(exc == 0); } + root_selected = new_selected; + if (root_selected != NULL) + gtk_math_view_select(math_view, root_selected); + gtk_math_view_thaw(math_view); + } + else if (new_selected != NULL) + { + gdome_el_unref(new_selected, &exc); + g_assert(exc == 0); } + } -#endif -#endif static gboolean -key_press_event(gpointer context, +key_press_event(gpointer c, GdkEventKey* event, GtkWidget* widget) { @@ -536,36 +566,19 @@ key_press_event(gpointer context, if (event->type != GDK_KEY_PRESS) return FALSE; - switch (event->keyval) { - case GDK_Up: - case GDK_KP_Up: - break; - case GDK_Down: - case GDK_KP_Down: - break; - case GDK_Left: - case GDK_KP_Left: - break; - case GDK_Right: - case GDK_KP_Right: - break; - case GDK_Page_Up: - case GDK_KP_Page_Up: - break; - case GDK_Page_Down: - case GDK_KP_Page_Down: - break; - case GDK_Home: - case GDK_KP_Home: - break; - case GDK_End: - case GDK_KP_End: - break; - case GDK_BackSpace: push_char(context, event->keyval); break; - default: - if (event->keyval < 0x80) push_char(context, event->keyval); - return FALSE; - } + switch (event->keyval) + { + case GDK_BackSpace: + edit_drop(context, event->state & GDK_MOD1_MASK, event->state & GDK_CONTROL_MASK); + break; + case GDK_Tab: + edit_complete(context); + break; + default: + if ((event->state & (GDK_CONTROL_MASK | GDK_MOD1_MASK)) == 0 && event->keyval < 0x80) + edit_push_char(context, event->keyval); + return FALSE; + } return TRUE; } @@ -590,33 +603,19 @@ create_widget_set(gpointer context) //gtk_math_view_set_log_verbosity(GTK_MATH_VIEW(main_area), 3); -#if 0 - gtk_signal_connect_object (GTK_OBJECT (main_area), - "selection_changed", GTK_SIGNAL_FUNC (selection_changed), - (gpointer) main_area); - gtk_signal_connect_object (GTK_OBJECT (main_area), - "element_changed", GTK_SIGNAL_FUNC (element_changed), + "select_begin", GTK_SIGNAL_FUNC (select_begin), (gpointer) main_area); gtk_signal_connect_object (GTK_OBJECT (main_area), - "action_changed", GTK_SIGNAL_FUNC (action_changed), + "select_over", GTK_SIGNAL_FUNC (select_over), (gpointer) main_area); - gtk_signal_connect_object (GTK_OBJECT (main_area), - "clicked", GTK_SIGNAL_FUNC(clicked), - (gpointer) main_area); -#endif - gtk_signal_connect_object (GTK_OBJECT(window), "key_press_event", GTK_SIGNAL_FUNC(key_press_event), context); - gtk_widget_add_events(GTK_WIDGET(main_area), - GDK_BUTTON_PRESS_MASK - | GDK_BUTTON_RELEASE_MASK - | GDK_POINTER_MOTION_MASK - | GDK_KEY_PRESS_MASK); + gtk_widget_add_events(GTK_WIDGET(main_area), GDK_KEY_PRESS_MASK); scrolled_area = gtk_scrolled_window_new(NULL, NULL); gtk_scrolled_window_set_policy(GTK_SCROLLED_WINDOW(scrolled_area), @@ -626,72 +625,9 @@ create_widget_set(gpointer context) gtk_container_add(GTK_CONTAINER(scrolled_area), main_area); gtk_box_pack_start(GTK_BOX(main_vbox), scrolled_area, TRUE, TRUE, 0); - status_bar = gtk_statusbar_new(); - gtk_widget_show(status_bar); - gtk_box_pack_start(GTK_BOX(main_vbox), status_bar, FALSE, TRUE, 0); - statusbar_context = gtk_statusbar_get_context_id(GTK_STATUSBAR(status_bar), "filename"); - gtk_widget_show(main_vbox); - - if (gtk_math_view_get_anti_aliasing(GTK_MATH_VIEW(main_area))) - gtk_menu_item_activate(anti_aliasing_item); } -#if 0 -static void -create_widget_set() -{ - GtkWidget* main_vbox; - GtkWidget* menu_bar; - - main_vbox = gtk_vbox_new(FALSE, 1); - gtk_container_border_width(GTK_CONTAINER(main_vbox), 1); - gtk_container_add(GTK_CONTAINER(window), main_vbox); - gtk_widget_show(main_vbox); - - menu_bar = get_main_menu(); - gtk_box_pack_start(GTK_BOX(main_vbox), menu_bar, FALSE, TRUE, 0); - gtk_widget_show(menu_bar); - - main_area = gtk_math_view_new(NULL, NULL); - gtk_widget_show(main_area); - - gtk_signal_connect_object (GTK_OBJECT (main_area), - "selection_changed", GTK_SIGNAL_FUNC (selection_changed), - (gpointer) main_area); - - gtk_signal_connect_object (GTK_OBJECT (main_area), - "element_changed", GTK_SIGNAL_FUNC (element_changed), - (gpointer) main_area); - - gtk_signal_connect_object (GTK_OBJECT (main_area), - "clicked", GTK_SIGNAL_FUNC(clicked), - (gpointer) main_area); - - gtk_widget_add_events(GTK_WIDGET(main_area), - GDK_BUTTON_PRESS_MASK - | GDK_BUTTON_RELEASE_MASK - | GDK_POINTER_MOTION_MASK); - - scrolled_area = gtk_scrolled_window_new(NULL, NULL); - gtk_scrolled_window_set_policy(GTK_SCROLLED_WINDOW(scrolled_area), - GTK_POLICY_AUTOMATIC, GTK_POLICY_ALWAYS); - gtk_widget_show(scrolled_area); - gtk_container_add(GTK_CONTAINER(scrolled_area), main_area); - gtk_box_pack_start(GTK_BOX(main_vbox), scrolled_area, TRUE, TRUE, 0); - - status_bar = gtk_statusbar_new(); - gtk_widget_show(status_bar); - gtk_box_pack_start(GTK_BOX(main_vbox), status_bar, FALSE, TRUE, 0); - statusbar_context = gtk_statusbar_get_context_id(GTK_STATUSBAR(status_bar), "filename"); - - gtk_widget_show(main_vbox); - - if (gtk_math_view_get_anti_aliasing(GTK_MATH_VIEW(main_area))) - gtk_menu_item_activate(anti_aliasing_item); -} -#endif - GtkWidget* get_main_menu() { @@ -709,11 +645,5 @@ get_main_menu() gtk_window_add_accel_group(GTK_WINDOW(window), accel_group); - menu_item = gtk_item_factory_get_widget(item_factory, "/Options/Anti Aliasing"); - anti_aliasing_item = GTK_MENU_ITEM(menu_item); - - menu_item = gtk_item_factory_get_widget(item_factory, "/Options/Transparency"); - transparency_item = GTK_MENU_ITEM(menu_item); - return gtk_item_factory_get_widget(item_factory, "
"); }