X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhelmpot%2FguiGTK.c;fp=helm%2Fhelmpot%2FguiGTK.c;h=0000000000000000000000000000000000000000;hp=906daf2b60f55253333fbc75cf3d75e092210aef;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1 diff --git a/helm/helmpot/guiGTK.c b/helm/helmpot/guiGTK.c deleted file mode 100644 index 906daf2b6..000000000 --- a/helm/helmpot/guiGTK.c +++ /dev/null @@ -1,684 +0,0 @@ -/* - * Copyright (C) 2000-2002, Luca Padovani . - * - * This file is part of HelmPot, a minimal browser for HELM. - * - * HelmPot 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. - * - * HelmPot 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 HelmPot; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. - * - * For details, see the HelmPot World-Wide-Web page, - * http://cs.unibo.it/helm/helmview, or send a mail to - * - */ - -#include - -#include -#include -#include -#include -#if HAVE_UNISTD_H -# include -# include -# include -# include -#endif -#include -#include - -#include "gtkmathview.h" -#include "guiGTK.h" - -#define XLINK_NS_URI "http://www.w3.org/1999/xlink" - -#define pot_width 16 -#define pot_height 16 -PRIVATE unsigned char pot_bits[] = { - 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0xc0, 0x07, - 0x00, 0x00, 0xe6, 0x2f, 0x34, 0x5f, 0xdc, 0x5f, 0xf8, 0x3f, 0xf8, 0x3f, - 0xf0, 0x1f, 0xe0, 0x0f, 0x00, 0x00, 0x00, 0x00}; - -#define pot_mask_width 16 -#define pot_mask_height 16 -static unsigned char pot_mask_bits[] = { - 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x03, 0xe0, 0x0f, 0xe0, 0x0f, - 0xff, 0x7f, 0xff, 0xff, 0xff, 0xff, 0xfe, 0xff, 0xfe, 0xff, 0xfc, 0x7f, - 0xfc, 0x7f, 0xf8, 0x3f, 0xf0, 0x1f, 0x00, 0x00}; - -PRIVATE GtkWidget* window; -PRIVATE GtkWidget* main_area; -PRIVATE GtkWidget* scrolled_area; -PRIVATE GtkWidget* status_bar; -PRIVATE GtkMenuItem* kerning_item; -PRIVATE GtkMenuItem* anti_aliasing_item; -PRIVATE GtkMenuItem* font_size_item; -PRIVATE gchar* file_name = NULL; - -PRIVATE GdkCursor* normal_cursor; -PRIVATE GdkCursor* link_cursor; -PRIVATE GdkCursor* pot_cursor; - -PRIVATE gboolean loading = FALSE; -PRIVATE guint statusbar_context; - -PRIVATE void create_widget_set(void); -PRIVATE GtkWidget* get_main_menu(void); -PRIVATE void options_font_size(GtkWidget*, guint); -PRIVATE void options_font_manager(GtkWidget*, guint); -PRIVATE void options_verbosity(GtkWidget*, guint); -PRIVATE void options_kerning(GtkWidget*, gpointer); -PRIVATE void options_anti_aliasing(GtkWidget*, gpointer); -PRIVATE void help_about(GtkWidget*, gpointer); -PRIVATE void save_as(GtkWidget*); -PRIVATE void export_to_ps(GtkWidget*); - -PRIVATE GtkItemFactoryEntry menu_items[] = { - { "/_File", NULL, NULL, 0, "" }, - { "/File/Save _As...", NULL, save_as, 0, NULL }, - { "/File/_Export to PostScript...", NULL, export_to_ps, 0, NULL }, - { "/File/sep1", NULL, NULL, 0, "" }, - { "/File/_Quit", "Q", gtk_main_quit, 0, NULL }, - - { "/_Options", NULL, NULL, 0, "" }, - { "/Options/Default _Font Size", NULL, NULL, 0, "" }, - { "/Options/Default Font Size/8pt", NULL, options_font_size, 8, "" }, - { "/Options/Default Font Size/10pt", NULL, options_font_size, 10, "/Options/Default Font Size/8pt" }, - { "/Options/Default Font Size/12pt", NULL, options_font_size, 12, "/Options/Default Font Size/8pt" }, - { "/Options/Default Font Size/14pt", NULL, options_font_size, 14, "/Options/Default Font Size/8pt" }, - { "/Options/Default Font Size/18pt", NULL, options_font_size, 18, "/Options/Default Font Size/8pt" }, - { "/Options/Default Font Size/24pt", NULL, options_font_size, 24, "/Options/Default Font Size/8pt" }, - { "/Options/Font Manager", NULL, NULL, 0, "" }, - { "/Options/Font Manager/_GTK", NULL, options_font_manager, 0, "" }, - { "/Options/Font Manager/_Type 1", NULL, options_font_manager, 1, "/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/_Kerning", NULL, options_kerning, 0, "" }, - { "/Options/_Anti Aliasing", NULL, options_anti_aliasing, 0, "" }, - - { "/_Help" , NULL, NULL, 0, "" }, - { "/Help/About...", NULL, help_about, 0, NULL } -}; - -PRIVATE void -quick_message(const gchar* msg) -{ - GtkWidget* dialog; - GtkWidget* label; - GtkWidget* okay_button; - - /* Create the widgets */ - - dialog = gtk_dialog_new(); - label = gtk_label_new (msg); - okay_button = gtk_button_new_with_label("OK"); - - gtk_widget_set_usize(dialog, 300, 100); - - /* Ensure that the dialog box is destroyed when the user clicks ok. */ - - gtk_signal_connect_object (GTK_OBJECT (okay_button), "clicked", - GTK_SIGNAL_FUNC (gtk_widget_destroy), GTK_OBJECT(dialog)); - gtk_container_add (GTK_CONTAINER (GTK_DIALOG(dialog)->action_area), - okay_button); - - /* Add the label, and show everything we've added to the dialog. */ - - gtk_container_add (GTK_CONTAINER (GTK_DIALOG(dialog)->vbox), label); - gtk_widget_show_all (dialog); -} - -PRIVATE void -load_error_msg(const gchar* name) -{ - gchar* msg = g_strdup_printf("Could not load\n`%s'", name); - quick_message(msg); - g_free(msg); -} - -PRIVATE void -save_error_msg(const gchar* name) -{ - gchar* msg = g_strdup_printf("Could not save\n`%s'", name); - quick_message(msg); - g_free(msg); -} - -void -GUI_init(gint* argc, gchar*** argv, gchar* title, guint width, guint height, GtkFunction f, guint32 timeout) -{ - GdkPixmap* source; - GdkPixmap* mask; - - GdkColor fg = { 0, 65535, 65535, 65535 }; - GdkColor bg = { 0, 0, 0, 0 }; - - gtk_init(argc, argv); - - window = gtk_window_new(GTK_WINDOW_TOPLEVEL); - gtk_window_set_title(GTK_WINDOW(window), title); - gtk_window_set_default_size(GTK_WINDOW(window), width, height); - gtk_signal_connect(GTK_OBJECT(window), "delete_event", (GtkSignalFunc) gtk_main_quit, NULL); - create_widget_set(); - - gtk_widget_show(window); - - gtk_timeout_add(timeout, f, NULL); - - normal_cursor = gdk_cursor_new(GDK_TOP_LEFT_ARROW); - link_cursor = gdk_cursor_new(GDK_HAND2); - - source = gdk_bitmap_create_from_data (NULL, pot_bits, - pot_width, pot_height); - mask = gdk_bitmap_create_from_data (NULL, pot_mask_bits, - pot_mask_width, pot_mask_height); - pot_cursor = gdk_cursor_new_from_pixmap (source, mask, &fg, &bg, 8, 8); - gdk_pixmap_unref (source); - gdk_pixmap_unref (mask); -} - -void -GUI_uninit() -{ -} - -int -GUI_load_document(const gchar* name) -{ - GtkMathView* math_view; - GtkMathViewClass* klass; - gboolean res; - - g_return_val_if_fail(name != NULL, -1); - g_return_val_if_fail(main_area != NULL, -1); - g_return_val_if_fail(GTK_IS_MATH_VIEW(main_area), -1); - - math_view = GTK_MATH_VIEW(main_area); - g_return_val_if_fail(math_view != NULL, -1); - - klass = (GtkMathViewClass*) gtk_type_class(gtk_math_view_get_type()); - g_return_val_if_fail(klass != NULL, -1); - - res = gtk_math_view_load(math_view, name); - gdk_window_set_cursor(main_area->window, normal_cursor); - loading = FALSE; - - if (!res) { - load_error_msg(name); - return -1; - } - - gtk_statusbar_pop(GTK_STATUSBAR(status_bar), statusbar_context); - if (strlen(name) > 40) name += strlen(name) - 40; - gtk_statusbar_push(GTK_STATUSBAR(status_bar), statusbar_context, name); - - if (file_name != NULL) g_free(file_name); - file_name = g_strdup(name); - - return 0; -} - -void -GUI_unload_document() -{ - GtkMathView* math_view; - - g_return_if_fail(main_area != NULL); - g_return_if_fail(GTK_IS_MATH_VIEW(main_area)); - - math_view = GTK_MATH_VIEW(main_area); - - gtk_math_view_unload(math_view); -} - -void -GUI_run() -{ - gtk_main(); -} - -PRIVATE void -options_font_size(GtkWidget* widget, guint size) -{ - GtkMathView* math_view; - - g_return_if_fail(main_area != NULL); - g_return_if_fail(GTK_IS_MATH_VIEW(main_area)); - - math_view = GTK_MATH_VIEW(main_area); - - gtk_math_view_set_font_size(math_view, size); -} - -PRIVATE void -options_font_manager(GtkWidget* widget, guint id) -{ - GtkMathView* math_view; - - g_return_if_fail(main_area != NULL); - g_return_if_fail(GTK_IS_MATH_VIEW(main_area)); - - math_view = GTK_MATH_VIEW(main_area); - - gtk_math_view_set_font_manager_type(math_view, id); -} - -PRIVATE 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); -} - -PRIVATE void -options_kerning(GtkWidget* widget, gpointer data) -{ - gboolean k = gtk_math_view_get_kerning(GTK_MATH_VIEW(main_area)); - gtk_math_view_set_kerning(GTK_MATH_VIEW(main_area), !k); -} - -PRIVATE void -options_verbosity(GtkWidget* widget, guint level) -{ - gtk_math_view_set_log_verbosity(GTK_MATH_VIEW(main_area), level); -} - -PRIVATE void -help_about(GtkWidget* widget, gpointer data) -{ - GtkWidget* dialog; - GtkWidget* label; - GtkWidget* ok; - - dialog = gtk_dialog_new(); - label = gtk_label_new("\n HELM PoT \n Copyright (C) 2001-2002 Luca Padovani \n"); - ok = gtk_button_new_with_label("Close"); - - gtk_signal_connect_object (GTK_OBJECT (ok), "clicked", - GTK_SIGNAL_FUNC (gtk_widget_destroy), (gpointer) dialog); - gtk_container_add (GTK_CONTAINER (GTK_DIALOG(dialog)->action_area), - ok); - - gtk_container_add (GTK_CONTAINER (GTK_DIALOG(dialog)->vbox), label); - - gtk_widget_show_all (dialog); -} - -PRIVATE void -export_filename(GtkFileSelection* selector, gpointer user_data) -{ - FILE* f; - GtkMathView* math_view; - gchar* selected_filename; - - selected_filename = gtk_file_selection_get_filename (GTK_FILE_SELECTION(user_data)); - - math_view = GTK_MATH_VIEW(main_area); - - f = fopen(selected_filename, "wt"); - if (f == NULL) { - save_error_msg(selected_filename); - /*g_free(selected_filename);*/ - return; - } - - gtk_math_view_export_to_postscript(math_view, - (21 * SCALED_POINTS_PER_CM) / SCALED_POINTS_PER_PX, - (29 * SCALED_POINTS_PER_CM) / SCALED_POINTS_PER_PX, - SCALED_POINTS_PER_IN / SCALED_POINTS_PER_PX, - SCALED_POINTS_PER_IN / SCALED_POINTS_PER_PX, - FALSE, - f); - - fclose(f); - /*g_free(selected_filename);*/ -} - -PRIVATE void -save_filename(GtkFileSelection* selector, gpointer user_data) -{ - FILE* source; - FILE* dest; - gchar* buffer; - gchar* selected_filename; - - if (file_name == NULL) return; - - source = fopen(file_name, "rt"); - if (source == NULL) { - load_error_msg(file_name); - return; - } - - selected_filename = gtk_file_selection_get_filename (GTK_FILE_SELECTION(user_data)); - if (selected_filename == NULL) return; - - dest = fopen(selected_filename, "wt"); - if (dest == NULL) { - save_error_msg(selected_filename); - /*g_free(selected_filename);*/ - return; - } - - /*g_free(selected_filename);*/ - - buffer = g_new(gchar, 2048); - while (!feof(source)) { - size_t n = fread(buffer, sizeof(gchar), 2048, source); - fwrite(buffer, sizeof(gchar), n, dest); - } - - g_free(buffer); - fclose(source); - fclose(dest); -} - -PRIVATE void -file_dialog(const gchar* title, GtkSignalFunc f) -{ - GtkWidget* fs; - - g_return_if_fail(title != NULL); - g_return_if_fail(f != NULL); - - fs = gtk_file_selection_new(title); - - gtk_signal_connect (GTK_OBJECT (GTK_FILE_SELECTION(fs)->ok_button), - "clicked", f, fs); - - /* Ensure that the dialog box is destroyed when the user clicks a button. */ - - gtk_signal_connect_object (GTK_OBJECT (GTK_FILE_SELECTION(fs)->ok_button), - "clicked", GTK_SIGNAL_FUNC (gtk_widget_destroy), - (gpointer) fs); - - gtk_signal_connect_object (GTK_OBJECT (GTK_FILE_SELECTION(fs)->cancel_button), - "clicked", GTK_SIGNAL_FUNC (gtk_widget_destroy), - (gpointer) fs); - - /* Display that dialog */ - - gtk_widget_show (fs); -} - -PRIVATE void -export_to_ps(GtkWidget* widget) -{ - file_dialog("Export to PostScript", export_filename); -#if 0 - static GList* items = NULL; - - GtkWidget* dialog; - GtkWidget* tmp; - - if (items == NULL) { - items = g_list_append(items, "A4"); - items = g_list_append(items, "A5"); - } - - dialog = gtk_dialog_new(); - tmp = gtk_label_new("Paper size"); - gtk_container_add(GTK_CONTAINER(GTK_DIALOG(dialog)->vbox), tmp); - tmp = gtk_combo_new(); - gtk_combo_set_popdown_strings(GTK_COMBO(tmp), items); - gtk_container_add(GTK_CONTAINER(GTK_DIALOG(dialog)->vbox), tmp); -#if 0 - tmp = gtk_check_button_new_with_label("Disable Colors"); - gtk_container_add(GTK_CONTAINER(GTK_DIALOG(dialog)->vbox), tmp); -#endif - - tmp = gtk_button_new_with_label("OK"); - gtk_signal_connect_object(GTK_OBJECT(tmp), "clicked", GTK_SIGNAL_FUNC(export_to_ps_get_file_name), dialog); - gtk_signal_connect_object(GTK_OBJECT(tmp), "clicked", GTK_SIGNAL_FUNC(gtk_widget_destroy), dialog); - gtk_container_add(GTK_CONTAINER(GTK_DIALOG(dialog)->action_area), tmp); - tmp = gtk_button_new_with_label("Cancel"); - gtk_signal_connect_object(GTK_OBJECT(tmp), "clicked", GTK_SIGNAL_FUNC(gtk_widget_destroy), dialog); - gtk_container_add(GTK_CONTAINER(GTK_DIALOG(dialog)->action_area), tmp); - - gtk_widget_show_all(dialog); -#endif -} - -PRIVATE void -save_as(GtkWidget* widget) -{ - file_dialog("Save As...", save_filename); -} - -PRIVATE void -element_changed(GtkMathView* math_view, GdomeElement* elem) -{ - g_return_if_fail(math_view != NULL); - g_return_if_fail(main_area != NULL); - g_return_if_fail(GTK_IS_MATH_VIEW(math_view)); - /* fprintf(stderr, "node changed: %p %s\n", node, (node != NULL) ? mdom_node_get_name(node) : "-"); */ - - if (!loading) { - GdomeException exc = 0; - GdomeDOMString* namespaceURI = gdome_str_mkref(XLINK_NS_URI); - GdomeDOMString* localName = gdome_str_mkref("href"); - - if (elem != NULL) { - gdome_el_ref(elem, &exc); - g_assert(exc == 0); - } - - while (elem != NULL && !gdome_el_hasAttributeNS(elem, namespaceURI, localName, &exc)) { - GdomeElement* parent = gdome_cast_el(gdome_el_parentNode(elem, &exc)); - g_assert(exc == 0); - gdome_el_unref(elem, &exc); - g_assert(exc == 0); - elem = parent; - } - g_assert(exc == 0); - - gdome_str_unref(namespaceURI); - gdome_str_unref(localName); - - if (elem != NULL) { - gdome_el_unref(elem, &exc); - g_assert(exc == 0); - gdk_window_set_cursor(main_area->window, link_cursor); - } else - gdk_window_set_cursor(main_area->window, normal_cursor); - } -} - -PRIVATE void -selection_changed(GtkMathView* math_view, GdomeElement* elem) -{ - GdomeException exc = 0; - GdomeDOMString* localName = gdome_str_mkref("xref"); - - g_return_if_fail(math_view != NULL); - g_return_if_fail(GTK_IS_MATH_VIEW(math_view)); - - if (elem != NULL) { - gdome_el_ref(elem, &exc); - g_assert(exc == 0); - } - - while (elem != NULL && !gdome_el_hasAttribute(elem, localName, &exc)) { - GdomeElement* parent = gdome_cast_el(gdome_el_parentNode(elem, &exc)); - g_assert(exc == 0); - gdome_el_unref(elem, &exc); - g_assert(exc == 0); - elem = parent; - } - - gdome_str_unref(localName); - - gtk_math_view_set_selection(math_view, elem); - if (elem != NULL) { - gdome_el_unref(elem, &exc); - g_assert(exc == 0); - } -} - -PRIVATE void -jump(GdomeDOMString* href) -{ - pid_t pid; - g_return_if_fail(href != NULL); - - gdk_window_set_cursor(main_area->window, pot_cursor); - loading = TRUE; - pid = fork(); - if (pid == -1) exit(-1); - if (pid == 0) { - gchar* open_url = g_strdup_printf("openURL(%s,cic)", href->str); - gint fd; - - close(0); - close(1); - close(2); - - fd = open("/dev/null", O_RDWR); - dup(fd); - dup(fd); - - execlp("netscape", "netscape", "-noraise", "-remote", open_url, NULL); - perror("exec failed:"); - exit(-1); - } -} - -PRIVATE void -clicked(GtkMathView* math_view, gpointer user_data) -{ - GdomeException exc = 0; - GdomeDOMString* namespaceURI = gdome_str_mkref(XLINK_NS_URI); - GdomeDOMString* localName = gdome_str_mkref("href"); - - GdomeElement* p = gtk_math_view_get_element(math_view); - while (p != NULL && !gdome_el_hasAttributeNS(p, namespaceURI, localName, &exc)) { - GdomeElement* parent = gdome_cast_el(gdome_el_parentNode(p, &exc)); - g_assert(exc == 0); - gdome_el_unref(p, &exc); - g_assert(exc == 0); - p = parent; - } - g_assert(exc == 0); - - if (p != NULL) { - GdomeDOMString* href = gdome_el_getAttributeNS(p, namespaceURI, localName, &exc); - g_assert(exc == 0); - g_assert(href != NULL); - - jump(href); - gdome_str_unref(href); - gdome_el_unref(p, &exc); - g_assert(exc == 0); - } else { - p = gtk_math_view_get_action(math_view); - if (p != NULL) { - gtk_math_view_action_toggle(math_view); - gdome_el_unref(p, &exc); - g_assert(exc == 0); - } - } - - gdome_str_unref(namespaceURI); - gdome_str_unref(localName); -} - -PRIVATE 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), - "element_changed", GTK_SIGNAL_FUNC (element_changed), - (gpointer) 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), - "clicked", GTK_SIGNAL_FUNC(clicked), - (gpointer) main_area); - - 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); - - if (gtk_math_view_get_kerning(GTK_MATH_VIEW(main_area))) - gtk_menu_item_activate(kerning_item); - - gtk_math_view_set_font_size(GTK_MATH_VIEW(main_area), DEFAULT_FONT_SIZE); - gtk_menu_item_activate(font_size_item); -} - -GtkWidget* -get_main_menu() -{ - GtkItemFactory* item_factory; - GtkAccelGroup* accel_group; - GtkWidget* menu_item; - - gint nmenu_items = sizeof(menu_items) / sizeof(menu_items[0]); - - accel_group = gtk_accel_group_new(); - - item_factory = gtk_item_factory_new(GTK_TYPE_MENU_BAR, "
", accel_group); - - gtk_item_factory_create_items(item_factory, nmenu_items, menu_items, NULL); - - gtk_window_add_accel_group(GTK_WINDOW(window), accel_group); - - menu_item = gtk_item_factory_get_widget(item_factory, "/Options/Kerning"); - kerning_item = GTK_MENU_ITEM(menu_item); - - menu_item = gtk_item_factory_get_widget(item_factory, "/Options/Anti Aliasing"); - anti_aliasing_item = GTK_MENU_ITEM(menu_item); - - /* !!!BEWARE!!! the default font size must be kept aligned with the definition - * in defs.h - */ - menu_item = gtk_item_factory_get_widget(item_factory, "/Options/Default Font Size/14pt"); - font_size_item = GTK_MENU_ITEM(menu_item); - - return gtk_item_factory_get_widget(item_factory, "
"); -} -