/src/wrappers/gtk/examples/gtk-demo/app_window.e
http://github.com/tybor/Liberty · Specman e · 598 lines · 66 code · 90 blank · 442 comment · 3 complexity · ffc68795416a436eae7634948c4c9363 MD5 · raw file
- indexing
- description: "Application main window - Demonstrates a typical application window with menubar, toolbar, statusbar."
- copyright: "[
- Copyright (C) 2006 eiffel-libraries team, GTK+ team
-
- 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
- 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., 51 Franklin Street, Fifth Floor, Boston, MA
- 02110-1301 USA
- ]"
- class APP_WINDOW
- inherit
- DEMO
- GTK_WINDOW redefine make end
-
- insert
- GTK_DIALOG_FLAGS
- GTK_MESSAGE_TYPE
- GTK_BUTTONS_TYPE
-
- creation make
- feature
- name: STRING is "Appliction main window"
- description: STRING is "Demonstrates a typical application window with menubar, toolbar, statusbar."
- filename: STRING is "app_window.e"
- title_string: STRING is "Application Window"
- feature -- Creation
- make is
- -- local
- -- table, statusbar, contents, sw, bar: GTK_WIDGET;
- -- buffer: GTK_TEXT_BUFFER;
- -- action_group: GTK_ACTION_GROUP;
- -- open_action: GTK_ACTION;
- -- merge: GTK_UI_MANAGER;
- -- error: G_ERROR
- do
- -- Create the toplevel window
- Precursor
- register_stock_icons
-
- -- TODO: gtk_window_set_screen (GTK_WINDOW (window),
- -- TODO: gtk_widget_get_screen (do_widget));
- set_title (title_string)
- -- gtk_window_set_icon_name (GTK_WINDOW (window), "gtk-open");
- -- /* NULL window variable when window is closed */
- -- g_signal_connect (window, "destroy",
- -- G_CALLBACK (gtk_widget_destroyed),
- -- &window);
- -- table = gtk_table_new (1, 4, FALSE);
-
- -- gtk_container_add (GTK_CONTAINER (window), table);
-
- -- /* Create the menubar and toolbar
- -- */
-
- -- action_group = gtk_action_group_new ("AppWindowActions");
- -- open_action = g_object_new (tool_menu_action_get_type (),
- -- "name", "Open",
- -- "label", "_Open",
- -- "tooltip", "Open a file",
- -- "stock-id", GTK_STOCK_OPEN,
- -- NULL);
- -- gtk_action_group_add_action (action_group, open_action);
- -- gtk_action_group_add_actions (action_group,
- -- entries, n_entries,
- -- window);
- -- gtk_action_group_add_toggle_actions (action_group,
- -- toggle_entries, n_toggle_entries,
- -- NULL);
- -- gtk_action_group_add_radio_actions (action_group,
- -- color_entries, n_color_entries,
- -- COLOR_RED,
- -- G_CALLBACK (activate_radio_action),
- -- NULL);
- -- gtk_action_group_add_radio_actions (action_group,
- -- shape_entries, n_shape_entries,
- -- SHAPE_SQUARE,
- -- G_CALLBACK (activate_radio_action),
- -- NULL);
- -- merge = gtk_ui_manager_new ();
- -- g_object_set_data_full (G_OBJECT (window), "ui-manager", merge,
- -- g_object_unref);
- -- gtk_ui_manager_insert_action_group (merge, action_group, 0);
- -- gtk_window_add_accel_group (GTK_WINDOW (window),
- -- gtk_ui_manager_get_accel_group (merge));
-
- -- if (!gtk_ui_manager_add_ui_from_string (merge, ui_info, -1, &error))
- -- {
- -- g_message ("building menus failed: %s", error->message);
- -- g_error_free (error);
- -- }
- -- bar = gtk_ui_manager_get_widget (merge, "/MenuBar");
- -- gtk_widget_show (bar);
- -- gtk_table_attach (GTK_TABLE (table),
- -- bar,
- -- /* X direction */ /* Y direction */
- -- 0, 1, 0, 1,
- -- GTK_EXPAND | GTK_FILL, 0,
- -- 0, 0);
- -- bar = gtk_ui_manager_get_widget (merge, "/ToolBar");
- -- gtk_toolbar_set_tooltips (GTK_TOOLBAR (bar), TRUE);
- -- gtk_widget_show (bar);
- -- gtk_table_attach (GTK_TABLE (table),
- -- bar,
- -- /* X direction */ /* Y direction */
- -- 0, 1, 1, 2,
- -- GTK_EXPAND | GTK_FILL, 0,
- -- 0, 0);
- -- /* Create document
- -- */
- -- sw = gtk_scrolled_window_new (NULL, NULL);
- -- gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (sw),
- -- GTK_POLICY_AUTOMATIC,
- -- GTK_POLICY_AUTOMATIC);
- -- gtk_scrolled_window_set_shadow_type (GTK_SCROLLED_WINDOW (sw),
- -- GTK_SHADOW_IN);
-
- -- gtk_table_attach (GTK_TABLE (table),
- -- sw,
- -- /* X direction */ /* Y direction */
- -- 0, 1, 2, 3,
- -- GTK_EXPAND | GTK_FILL, GTK_EXPAND | GTK_FILL,
- -- 0, 0);
- -- gtk_window_set_default_size (GTK_WINDOW (window),
- -- 200, 200);
-
- -- contents = gtk_text_view_new ();
- -- gtk_widget_grab_focus (contents);
-
- -- gtk_container_add (GTK_CONTAINER (sw),
- -- contents);
- -- /* Create statusbar */
- -- statusbar = gtk_statusbar_new ();
- -- gtk_table_attach (GTK_TABLE (table),
- -- statusbar,
- -- /* X direction */ /* Y direction */
- -- 0, 1, 3, 4,
- -- GTK_EXPAND | GTK_FILL, 0,
- -- 0, 0);
- -- /* Show text widget info in the statusbar */
- -- buffer = gtk_text_view_get_buffer (GTK_TEXT_VIEW (contents));
-
- -- g_signal_connect_object (buffer,
- -- "changed",
- -- G_CALLBACK (update_statusbar),
- -- statusbar,
- -- 0);
- -- g_signal_connect_object (buffer,
- -- "mark_set", /* cursor moved */
- -- G_CALLBACK (mark_set_callback),
- -- statusbar,
- -- 0);
- -- g_signal_connect_object (window,
- -- "window_state_event",
- -- G_CALLBACK (update_resize_grip),
- -- statusbar,
- -- 0);
-
- -- update_statusbar (buffer, GTK_STATUSBAR (statusbar));
- -- }
- -- if (!GTK_WIDGET_VISIBLE (window))
- -- {
- -- gtk_widget_show_all (window);
- -- }
- -- else
- -- {
- -- gtk_widget_destroy (window);
- -- window = NULL;
- -- }
- -- return window;
- -- }
- load_source_code
- end
-
- feature -- Actions
- activate_action (an_action: GTK_ACTION) is
- local dialog: GTK_WIDGET
- do
- create {GTK_MESSAGE_DIALOG} dialog.make
- (Current, gtk_dialog_destroy_with_parent,
- gtk_message_info, gtk_buttons_close,
- "You activated action: `"+an_action.name+"'") -- of type `"+an_action.typename+"'")
-
- -- Close dialog on user response
-
- -- TODO: dialog.connect_to_response_signal(agent ....) note
- -- that usually in C you write: g_signal_connect (dialog,
- -- "response", G_CALLBACK (gtk_widget_destroy), NULL);
- dialog.show
- end
- activate_radio_action (an_action: GTK_ACTION; a_radio_action: GTK_RADIO_ACTION) is
- local
- dialog: GTK_WIDGET
- do
- if a_radio_action.is_active then
- create {GTK_MESSAGE_DIALOG} dialog.make
- (Current, gtk_dialog_destroy_with_parent,
- gtk_message_info, gtk_buttons_close,
- "You activated radio action: `"+a_radio_action.name+"'.\n"+
- -- of type `" + a_radio_action.typename+
- "Current value: " + a_radio_action.current_value.out)
- -- Close dialog on user response g_signal_connect (dialog,
- -- "response", G_CALLBACK (gtk_widget_destroy), NULL);
- dialog.show
- end
- end
- -- static void
- -- activate_email (GtkAboutDialog *about,
- -- const gchar *link,
- -- gpointer data)
- -- {
- -- g_print ("send mail to %s\n", link);
- -- }
- -- static void
- -- activate_url (GtkAboutDialog *about,
- -- const gchar *link,
- -- gpointer data)
- -- {
- -- g_print ("show url %s\n", link);
- -- }
- -- static void
- -- about_cb (GtkAction *action,
- -- GtkWidget *window)
- -- {
- -- GdkPixbuf *pixbuf, *transparent;
- -- gchar *filename;
- -- const gchar *authors[] = {
- -- "Peter Mattis",
- -- "Spencer Kimball",
- -- "Josh MacDonald",
- -- "and many more...",
- -- NULL
- -- };
- -- const gchar *documentors[] = {
- -- "Owen Taylor",
- -- "Tony Gale",
- -- "Matthias Clasen <mclasen@redhat.com>",
- -- "and many more...",
- -- NULL
- -- };
- -- const gchar *license =
- -- "This library is free software; you can redistribute it and/or\n"
- -- "modify it under the terms of the GNU Library General Public License as\n"
- -- "published by the Free Software Foundation; either version 2 of the\n"
- -- "License, or (at your option) any later version.\n"
- -- "\n"
- -- "This library is distributed in the hope that it will be useful,\n"
- -- "but WITHOUT ANY WARRANTY; without even the implied warranty of\n"
- -- "MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU\n"
- -- "Library General Public License for more details.\n"
- -- "\n"
- -- "You should have received a copy of the GNU Library General Public\n"
- -- "License along with the Gnome Library; see the file COPYING.LIB. If not,\n"
- -- "write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,\n"
- -- "Boston, MA 02111-1307, USA.\n";
- -- pixbuf = NULL;
- -- transparent = NULL;
- -- filename = demo_find_file ("gtk-logo-rgb.gif", NULL);
- -- if (filename)
- -- {
- -- pixbuf = gdk_pixbuf_new_from_file (filename, NULL);
- -- g_free (filename);
- -- transparent = gdk_pixbuf_add_alpha (pixbuf, TRUE, 0xff, 0xff, 0xff);
- -- g_object_unref (pixbuf);
- -- }
- -- gtk_about_dialog_set_email_hook (activate_email, NULL, NULL);
- -- gtk_about_dialog_set_url_hook (activate_url, NULL, NULL);
- -- gtk_show_about_dialog (GTK_WINDOW (window),
- -- "name", "GTK+ Code Demos",
- -- "version", PACKAGE_VERSION,
- -- "copyright", "(C) 1997-2005 The GTK+ Team",
- -- "license", license,
- -- "website", "http://www.gtk.org",
- -- "comments", "Program to demonstrate GTK+ functions.",
- -- "authors", authors,
- -- "documenters", documentors,
- -- "logo", transparent,
- -- NULL);
- -- g_object_unref (transparent);
- -- }
- -- typedef struct
- -- {
- -- GtkAction action;
- -- } ToolMenuAction;
- -- typedef struct
- -- {
- -- GtkActionClass parent_class;
- -- } ToolMenuActionClass;
- -- G_DEFINE_TYPE(ToolMenuAction, tool_menu_action, GTK_TYPE_ACTION);
- -- static void
- -- tool_menu_action_class_init (ToolMenuActionClass *class)
- -- {
- -- GTK_ACTION_CLASS (class)->toolbar_item_type = GTK_TYPE_MENU_TOOL_BUTTON;
- -- }
- -- static void
- -- tool_menu_action_init (ToolMenuAction *action)
- -- {
- -- }
- -- static GtkActionEntry entries[] = {
- -- { "FileMenu", NULL, "_File" }, /* name, stock id, label */
- -- { "OpenMenu", NULL, "_Open" }, /* name, stock id, label */
- -- { "PreferencesMenu", NULL, "_Preferences" }, /* name, stock id, label */
- -- { "ColorMenu", NULL, "_Color" }, /* name, stock id, label */
- -- { "ShapeMenu", NULL, "_Shape" }, /* name, stock id, label */
- -- { "HelpMenu", NULL, "_Help" }, /* name, stock id, label */
- -- { "New", GTK_STOCK_NEW, /* name, stock id */
- -- "_New", "<control>N", /* label, accelerator */
- -- "Create a new file", /* tooltip */
- -- G_CALLBACK (activate_action) },
- -- { "File1", NULL, /* name, stock id */
- -- "File1", NULL, /* label, accelerator */
- -- "Open first file", /* tooltip */
- -- G_CALLBACK (activate_action) },
- -- { "Save", GTK_STOCK_SAVE, /* name, stock id */
- -- "_Save","<control>S", /* label, accelerator */
- -- "Save current file", /* tooltip */
- -- G_CALLBACK (activate_action) },
- -- { "SaveAs", GTK_STOCK_SAVE, /* name, stock id */
- -- "Save _As...", NULL, /* label, accelerator */
- -- "Save to a file", /* tooltip */
- -- G_CALLBACK (activate_action) },
- -- { "Quit", GTK_STOCK_QUIT, /* name, stock id */
- -- "_Quit", "<control>Q", /* label, accelerator */
- -- "Quit", /* tooltip */
- -- G_CALLBACK (activate_action) },
- -- { "About", NULL, /* name, stock id */
- -- "_About", "<control>A", /* label, accelerator */
- -- "About", /* tooltip */
- -- G_CALLBACK (about_cb) },
- -- { "Logo", "demo-gtk-logo", /* name, stock id */
- -- NULL, NULL, /* label, accelerator */
- -- "GTK+", /* tooltip */
- -- G_CALLBACK (activate_action) },
- -- };
- -- static guint n_entries = G_N_ELEMENTS (entries);
- -- static GtkToggleActionEntry toggle_entries[] = {
- -- { "Bold", GTK_STOCK_BOLD, /* name, stock id */
- -- "_Bold", "<control>B", /* label, accelerator */
- -- "Bold", /* tooltip */
- -- G_CALLBACK (activate_action),
- -- TRUE }, /* is_active */
- -- };
- -- static guint n_toggle_entries = G_N_ELEMENTS (toggle_entries);
- -- enum {
- -- COLOR_RED,
- -- COLOR_GREEN,
- -- COLOR_BLUE
- -- };
- -- static GtkRadioActionEntry color_entries[] = {
- -- { "Red", NULL, /* name, stock id */
- -- "_Red", "<control>R", /* label, accelerator */
- -- "Blood", COLOR_RED }, /* tooltip, value */
- -- { "Green", NULL, /* name, stock id */
- -- "_Green", "<control>G", /* label, accelerator */
- -- "Grass", COLOR_GREEN }, /* tooltip, value */
- -- { "Blue", NULL, /* name, stock id */
- -- "_Blue", "<control>B", /* label, accelerator */
- -- "Sky", COLOR_BLUE }, /* tooltip, value */
- -- };
- -- static guint n_color_entries = G_N_ELEMENTS (color_entries);
- -- enum {
- -- SHAPE_SQUARE,
- -- SHAPE_RECTANGLE,
- -- SHAPE_OVAL
- -- };
- -- static GtkRadioActionEntry shape_entries[] = {
- -- { "Square", NULL, /* name, stock id */
- -- "_Square", "<control>S", /* label, accelerator */
- -- "Square", SHAPE_SQUARE }, /* tooltip, value */
- -- { "Rectangle", NULL, /* name, stock id */
- -- "_Rectangle", "<control>R", /* label, accelerator */
- -- "Rectangle", SHAPE_RECTANGLE }, /* tooltip, value */
- -- { "Oval", NULL, /* name, stock id */
- -- "_Oval", "<control>O", /* label, accelerator */
- -- "Egg", SHAPE_OVAL }, /* tooltip, value */
- -- };
- -- static guint n_shape_entries = G_N_ELEMENTS (shape_entries);
- -- static const gchar *ui_info =
- -- "<ui>"
- -- " <menubar name='MenuBar'>"
- -- " <menu action='FileMenu'>"
- -- " <menuitem action='New'/>"
- -- " <menuitem action='Open'/>"
- -- " <menuitem action='Save'/>"
- -- " <menuitem action='SaveAs'/>"
- -- " <separator/>"
- -- " <menuitem action='Quit'/>"
- -- " </menu>"
- -- " <menu action='PreferencesMenu'>"
- -- " <menu action='ColorMenu'>"
- -- " <menuitem action='Red'/>"
- -- " <menuitem action='Green'/>"
- -- " <menuitem action='Blue'/>"
- -- " </menu>"
- -- " <menu action='ShapeMenu'>"
- -- " <menuitem action='Square'/>"
- -- " <menuitem action='Rectangle'/>"
- -- " <menuitem action='Oval'/>"
- -- " </menu>"
- -- " <menuitem action='Bold'/>"
- -- " </menu>"
- -- " <menu action='HelpMenu'>"
- -- " <menuitem action='About'/>"
- -- " </menu>"
- -- " </menubar>"
- -- " <toolbar name='ToolBar'>"
- -- " <toolitem action='Open'>"
- -- " <menu action='OpenMenu'>"
- -- " <menuitem action='File1'/>"
- -- " </menu>"
- -- " </toolitem>"
- -- " <toolitem action='Quit'/>"
- -- " <separator action='Sep1'/>"
- -- " <toolitem action='Logo'/>"
- -- " </toolbar>"
- -- "</ui>";
- register_stock_icons is
- -- Registers our custom toolbar icons, so they can be themed.
- -- It's totally optional to do this, you could just manually
- -- insert icons and have them not be themeable, especially if
- -- you never expect people to theme your app.
- do
- -- {
- -- static gboolean registered = FALSE;
-
- -- if (!registered)
- -- {
- -- GdkPixbuf *pixbuf;
- -- GtkIconFactory *factory;
- -- char *filename;
- -- static GtkStockItem items[] = {
- -- { "demo-gtk-logo",
- -- "_GTK!",
- -- 0, 0, NULL }
- -- };
-
- -- registered = TRUE;
- -- /* Register our stock items */
- -- gtk_stock_add (items, G_N_ELEMENTS (items));
-
- -- /* Add our custom icon factory to the list of defaults */
- -- factory = gtk_icon_factory_new ();
- -- gtk_icon_factory_add_default (factory);
- -- /* demo_find_file() looks in the the current directory first,
- -- * so you can run gtk-demo without installing GTK, then looks
- -- * in the location where the file is installed.
- -- */
- -- pixbuf = NULL;
- -- filename = demo_find_file ("gtk-logo-rgb.gif", NULL);
- -- if (filename)
- -- {
- -- pixbuf = gdk_pixbuf_new_from_file (filename, NULL);
- -- g_free (filename);
- -- }
- -- /* Register icon to accompany stock item */
- -- if (pixbuf != NULL)
- -- {
- -- GtkIconSet *icon_set;
- -- GdkPixbuf *transparent;
- -- /* The gtk-logo-rgb icon has a white background, make it transparent */
- -- transparent = gdk_pixbuf_add_alpha (pixbuf, TRUE, 0xff, 0xff, 0xff);
-
- -- icon_set = gtk_icon_set_new_from_pixbuf (transparent);
- -- gtk_icon_factory_add (factory, "demo-gtk-logo", icon_set);
- -- gtk_icon_set_unref (icon_set);
- -- g_object_unref (pixbuf);
- -- g_object_unref (transparent);
- -- }
- -- else
- -- g_warning ("failed to load GTK logo for toolbar");
-
- -- /* Drop our reference to the factory, GTK will hold a reference. */
- -- g_object_unref (factory);
- -- }
- -- }
- end
-
- -- static void
- -- update_statusbar (GtkTextBuffer *buffer,
- -- GtkStatusbar *statusbar)
- -- {
- -- gchar *msg;
- -- gint row, col;
- -- gint count;
- -- GtkTextIter iter;
-
- -- gtk_statusbar_pop (statusbar, 0); /* clear any previous message,
- -- * underflow is allowed
- -- */
- -- count = gtk_text_buffer_get_char_count (buffer);
- -- gtk_text_buffer_get_iter_at_mark (buffer,
- -- &iter,
- -- gtk_text_buffer_get_insert (buffer));
- -- row = gtk_text_iter_get_line (&iter);
- -- col = gtk_text_iter_get_line_offset (&iter);
- -- msg = g_strdup_printf ("Cursor at row %d column %d - %d chars in document",
- -- row, col, count);
- -- gtk_statusbar_push (statusbar, 0, msg);
- -- g_free (msg);
- -- }
- -- static void
- -- mark_set_callback (GtkTextBuffer *buffer,
- -- const GtkTextIter *new_location,
- -- GtkTextMark *mark,
- -- gpointer data)
- -- {
- -- update_statusbar (buffer, GTK_STATUSBAR (data));
- -- }
- -- static void
- -- update_resize_grip (GtkWidget *widget,
- -- GdkEventWindowState *event,
- -- GtkStatusbar *statusbar)
- -- {
- -- if (event->changed_mask & (GDK_WINDOW_STATE_MAXIMIZED |
- -- GDK_WINDOW_STATE_FULLSCREEN))
- -- {
- -- gboolean maximized;
- -- maximized = event->new_window_state & (GDK_WINDOW_STATE_MAXIMIZED |
- -- GDK_WINDOW_STATE_FULLSCREEN);
- -- gtk_statusbar_set_has_resize_grip (statusbar, !maximized);
- -- }
- -- }
- end