/src/wrappers/gtk/library/gtk_widget.e
Specman e | 1503 lines | 550 code | 176 blank | 777 comment | 2 complexity | 5d5d34741c218d57eb93a3455ac78cf4 MD5 | raw file
Possible License(s): GPL-3.0, LGPL-2.1, GPL-2.0
- indexing
- description: "GtkWidget -- Base class for all widgets"
- 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
- ]"
- license: "LGPL v2 or later"
- date: "$Date:$"
- revision "$REvision:$"
- deferred class GTK_WIDGET
- inherit GTK_OBJECT
- insert
- GTK_WIDGET_EXTERNALS
- GDK_DRAG_ACTION
- GTK_DEST_DEFAULTS
- GDK_MODIFIER_TYPE
- GDK_EVENT_MASK
- feature -- Access
- hide is
- -- Reverses the effects of `show' causing the widget to be hidden
- -- (invisible to the user).
- do
- gtk_widget_hide (handle)
- end
- style: GTK_STYLE is
- -- Returns the style for this widget
- do
- create Result.from_external_pointer (gtk_widget_get_style (handle))
- end
- is_sensitive: BOOLEAN is
- -- Returns True if this widget is sensitive.
- do
- Result := gtk_widget_is_sensitive (handle).to_boolean
- end
- feature -- Operation
- set_style (a_style: GTK_STYLE) is
- -- Sets the GTK_STYLE for a widget (widget.style).
- -- You probably don't want to use this function;
- -- it interacts badly with themes, because themes work by
- -- replacing the GtkStyle. Instead, use modify_style(). (NOT IMPLEMENTED)
- require
- valid_style: a_style /= Void
- do
- gtk_widget_set_style (handle, a_style.handle)
- end
- show is
- -- Flags widget to be displayed.
- do
- debug
- std_error.put_string(once "Showing a ")
- std_error.put_string(create {STRING}.from_external_copy
- (g_object_type_name(handle)))
- std_error.put_string(once ", handle ")
- std_error.put_pointer(handle)
- std_error.put_new_line
- end
- gtk_widget_show (handle)
- end
- show_all is
- -- Recursively shows a widget, and any child widgets (if the
- -- widget is a container).
- do
- gtk_widget_show_all (handle)
- end
- set_drag_destination, drag_dest_set (a_flags, an_actions: INTEGER) is
- -- Sets a widget as a potential drop destination.
- -- TODO: GtkTargetEntry isn't wrapped yet, use add_text_targets() and such..
- require
- is_valid_gtk_dest_defaults (a_flags)
- is_valid_gdk_drag_action (an_actions)
- do
- gtk_drag_dest_set (handle, a_flags, default_pointer, 0, an_actions)
- end
- set_drag_source, drag_source_set (a_modifier, an_actions: INTEGER) is
- -- Sets up a widget so that GTK+ will start a drag operation when
- -- the user clicks and drags on the widget. The widget must have a
- -- window.
- -- TODO: GtkTargetEntry isn't wrapped yet, use add_text_targets() and such...
- require
- is_valid_gdk_modifier_type (a_modifier)
- is_valid_gdk_drag_action (an_actions)
- do
- gtk_drag_source_set (handle, a_modifier, default_pointer, 0, an_actions)
- end
- drag_dest_add_text_targets is
- -- Add the text targets supported by GtkSelection to the target
- -- list of the drag destination. The targets are added with
- -- info = 0. If you need another value, use
- -- drag_dest_set_target_list
- do
- gtk_drag_dest_add_text_targets (handle)
- end
- drag_dest_add_image_targets is
- -- Add the image targets supported by GtkSelection to the target
- -- list of the drag destination. The targets are added with
- -- info = 0. If you need another value, use
- -- drag_dest_set_target_list
- do
- gtk_drag_dest_add_image_targets (handle)
- end
- drag_dest_add_uri_targets is
- -- Add the URI targets supported by GtkSelection to the target
- -- list of the drag destination. The targets are added with
- -- info = 0. If you need another value, use
- -- drag_dest_set_target_list
- do
- gtk_drag_dest_add_uri_targets (handle)
- end
- drag_source_add_text_targets is
- -- Add the text targets supported by GtkSelection to the target
- -- list of the drag source. The targets are added with info = 0.
- -- If you need another value, use drag_source_set_target_list
- do
- gtk_drag_source_add_text_targets (handle)
- end
- drag_source_add_image_targets is
- -- Add the writable image targets supported by GtkSelection to the
- -- target list of the drag source. The targets are added with
- -- info = 0. If you need another value, use
- -- drag_source_set_target_list
- do
- gtk_drag_source_add_image_targets (handle)
- end
- drag_source_add_uri_targets is
- -- Add the URI targets supported by GtkSelection to the target list
- -- of the drag source. The targets are added with info = 0. If you
- -- need another value, use drag_source_set_target_list
- do
- gtk_drag_source_add_uri_targets (handle)
- end
- drag_source_set_icon_pixbuf (a_pixbuf: GDK_PIXBUF) is
- -- Sets the icon that will be used for drags from a particular
- -- widget from a GdkPixbuf. GTK+ retains a reference for pixbuf
- -- and will release it when it is no longer needed.
- do
- gtk_drag_source_set_icon_pixbuf (handle, a_pixbuf.handle)
- end
- drag_source_set_icon_stock (a_stock_id: STRING) is
- -- Sets the icon that will be used for drags from a particular
- -- source to a stock icon.
- do
- gtk_drag_source_set_icon_stock (handle, a_stock_id.to_external)
- end
- drag_source_set_icon_name (an_icon_name: STRING) is
- -- Sets the icon that will be used for drags from a particular
- -- source to a themed icon. See the docs for GtkIconTheme for
- -- more details.
- do
- gtk_drag_source_set_icon_name (handle, an_icon_name.to_external)
- end
- set_events (some_events: INTEGER) is
- -- Sets the event mask (see GDK_EVENT_MASK) for this widget.
- -- The event mask determines which events the widget will receive.
- -- Keep in mind that different widgets have different default event
- -- masks, and by changing the event mask you may disrupt a widget's
- -- functionality, so be careful. This function must be called while
- -- a widget is unrealized. Consider add_events() for widgets that
- -- are already realized, or if you want to preserve the existing
- -- event mask. This function can't be used with GTK_NO_WINDOW
- -- widgets; to get events on those widgets, place them inside a
- -- GTK_EVENT_BOX and receive events on the event box.
- require
- is_valid_gdk_event_mask (some_events)
- do
- gtk_widget_set_events (handle, some_events)
- end
- add_events (some_events: INTEGER) is
- -- Adds the events in the bitfield events to the event mask for
- -- this widget. See set_events() for details.
- require
- is_valid_gdk_event_mask (some_events)
- do
- gtk_widget_add_events (handle, some_events)
- end
- -- #define GTK_WIDGET_TYPE (wid)
- -- #define GTK_WIDGET_STATE (wid)
- -- #define GTK_WIDGET_SAVED_STATE (wid)
- -- #define GTK_WIDGET_FLAGS (wid)
- -- #define GTK_WIDGET_TOPLEVEL (wid)
- -- #define GTK_WIDGET_NO_WINDOW (wid)
- is_realized: BOOLEAN is
- do
- Result := gtk_widget_realized (handle).to_boolean
- end
- is_mapped: BOOLEAN is
- do
- Result := gtk_widget_mapped (handle).to_boolean
- end
- is_visible: BOOLEAN is
- do
- Result := gtk_widget_visible (handle).to_boolean
- end
- is_drawable: BOOLEAN is
- do
- Result := gtk_widget_drawable (handle).to_boolean
- end
- -- #define GTK_WIDGET_SENSITIVE (wid)
- -- #define GTK_WIDGET_PARENT_SENSITIVE (wid)
- -- #define GTK_WIDGET_CAN_FOCUS (wid)
- -- #define GTK_WIDGET_HAS_FOCUS (wid)
- -- #define GTK_WIDGET_CAN_DEFAULT (wid)
- -- #define GTK_WIDGET_RECEIVES_DEFAULT (wid)
- -- #define GTK_WIDGET_HAS_DEFAULT (wid)
- -- #define GTK_WIDGET_HAS_GRAB (wid)
- -- #define GTK_WIDGET_RC_STYLE (wid)
- -- #define GTK_WIDGET_COMPOSITE_CHILD (wid)
- -- #define GTK_WIDGET_APP_PAINTABLE (wid)
- -- #define GTK_WIDGET_DOUBLE_BUFFERED (wid)
- -- #define GTK_WIDGET_SET_FLAGS (wid,flag)
- -- #define GTK_WIDGET_UNSET_FLAGS (wid,flag)
- -- void (*GtkCallback) (GtkWidget *widget,
- -- gpointer data);
- -- GtkRequisition;
- -- struct GtkAllocation;
- -- GtkSelectionData;
- -- GtkWidgetAuxInfo;
- -- GtkWidgetShapeInfo;
- -- enum GtkWidgetHelpType;
- -- GtkWidget* gtk_widget_new (GType type,
- -- const gchar *first_property_name,
- -- ...);
- -- GtkWidget* gtk_widget_ref (GtkWidget *widget);
- -- void gtk_widget_unref (GtkWidget *widget);
- -- void gtk_widget_destroy (GtkWidget *widget);
- -- void gtk_widget_destroyed (GtkWidget *widget,
- -- GtkWidget **widget_pointer);
- -- void gtk_widget_set (GtkWidget *widget,
- -- const gchar *first_property_name,
- -- ...);
- -- void gtk_widget_unparent (GtkWidget *widget);
- -- void gtk_widget_show_now (GtkWidget *widget);
- -- void gtk_widget_hide_all (GtkWidget *widget);
- -- void gtk_widget_map (GtkWidget *widget);
- -- void gtk_widget_unmap (GtkWidget *widget);
- realize is
- -- Creates the GDK (windowing system) resources associated with a widget. For example,
- -- 'window' will be created when a widget is realized. Normally realization happens
- -- implicitly; if you show a widget and all its parent containers, then the widget
- -- will be realized and mapped automatically.
- --
- -- Realizing a widget requires all the widget's parent widgets to be realized; calling
- -- 'realize' realizes the widget's parents in addition to widget itself. If a widget
- -- is not yet inside a toplevel window when you realize it, bad things will happen.
- --
- -- This function is primarily used in widget implementations, and isn't very useful
- -- otherwise. Many times when you think you might need it, a better approach is to
- -- connect to a signal that will be called after the widget is realized automatically,
- -- such as "expose_event". Or simply g_signal_connect_after() to the "realize" signal.
- require
- not is_realized
- do
- gtk_widget_realize (handle)
- end
- unrealize is
- -- This function is only useful in widget implementations. Causes a widget to be
- -- unrealized (frees all GDK resources associated with the widget, such as 'window').
- require
- is_realized
- do
- gtk_widget_unrealize (handle)
- end
- -- void gtk_widget_queue_resize (GtkWidget *widget);
- -- void gtk_widget_queue_resize_no_redraw
- -- (GtkWidget *widget);
- -- void gtk_widget_draw (GtkWidget *widget,
- -- GdkRectangle *area);
- actual_size_request: GTK_REQUISITION is
- do
- create Result.make
- gtk_widget_size_request (handle, Result.handle)
- ensure
- Result /= Void
- end
- -- void gtk_widget_get_child_requisition
- -- (GtkWidget *widget,
- -- GtkRequisition *requisition);
- -- void gtk_widget_size_allocate (GtkWidget *widget,
- -- GtkAllocation *allocation);
- -- void gtk_widget_add_accelerator (GtkWidget *widget,
- -- const gchar *accel_signal,
- -- GtkAccelGroup *accel_group,
- -- guint accel_key,
- -- GdkModifierType accel_mods,
- -- GtkAccelFlags accel_flags);
- -- gboolean gtk_widget_remove_accelerator (GtkWidget *widget,
- -- GtkAccelGroup *accel_group,
- -- guint accel_key,
- -- GdkModifierType accel_mods);
- -- void gtk_widget_set_accel_path (GtkWidget *widget,
- -- const gchar *accel_path,
- -- GtkAccelGroup *accel_group);
- -- GList* gtk_widget_list_accel_closures (GtkWidget *widget);
- -- gboolean gtk_widget_can_activate_accel (GtkWidget *widget,
- -- guint signal_id);
- -- gboolean gtk_widget_event (GtkWidget *widget,
- -- GdkEvent *event);
- -- gboolean gtk_widget_activate (GtkWidget *widget);
- -- void gtk_widget_reparent (GtkWidget *widget,
- -- GtkWidget *new_parent);
- -- gboolean gtk_widget_intersect (GtkWidget *widget,
- -- GdkRectangle *area,
- -- GdkRectangle *intersection);
- -- gboolean gtk_widget_is_focus (GtkWidget *widget);
-
- grab_focus is
- -- Causes widget to have the keyboard focus for the GtkWindow
- -- it's inside. Current widget must be a focusable widget,
- -- such as a GTK_ENTRY; something like GtkFrame won't
- -- work. (More precisely, it must have the GTK_CAN_FOCUS flag
- -- set.)
- require focusable: can_focus
- do
- gtk_widget_grab_focus (handle)
- end
-
- grab_default is
- -- Causes widget to become the default widget. widget must have
- -- the GTK_CAN_DEFAULT flag set; typically you have to set this
- -- flag yourself by calling
- -- GTK_WIDGET_SET_FLAGS (widget, GTK_CAN_DEFAULT). The default
- -- widget is activated when the user presses Enter in a window.
- -- Default widgets must be activatable, that is, gtk_widget_activate()
- -- should affect them.
- require defaultable: can_default
- do
- gtk_widget_grab_default (handle)
- end
-
- set_name (a_name: STRING) is
- -- Widgets can be named, which allows you to refer to them from
- -- a gtkrc file. You can apply a style to widgets with a particular
- -- name in the gtkrc file. See the documentation for gtkrc files
- -- (on the same page as the docs for GtkRcStyle).
- --
- -- Note that widget names are separated by periods in paths (see
- -- `path'), so names with embedded periods may cause confusion.
- --
- -- a_name : name for the widget
- do
- gtk_widget_set_name (handle, a_name.to_external)
- end
- name: STRING is
- -- Retrieves the name of a widget. See `set_name' for the
- -- significance of widget names.
- --
- -- Returns : name of the widget.
- do
- create Result.from_external_copy (gtk_widget_get_name (handle))
- end
- -- void gtk_widget_set_state (GtkWidget *widget,
- -- GtkStateType state);
- -- void gtk_widget_set_parent (GtkWidget *widget,
- -- GtkWidget *parent);
- -- void gtk_widget_set_parent_window (GtkWidget *widget,
- -- GdkWindow *parent_window);
- window: GDK_WINDOW is
- -- Result can be void if window isn't realized yet
- local factory: G_OBJECT_EXPANDED_FACTORY [GDK_WINDOW]
- do
- Result := factory.wrapper_or_void (gtk_widget_get_window (handle))
- end
- parent_window: GDK_WINDOW is
- local factory: G_OBJECT_EXPANDED_FACTORY [GDK_WINDOW]
- do
- Result := factory.wrapper_or_void (gtk_widget_get_parent_window (handle))
- end
- -- void gtk_widget_set_uposition (GtkWidget *widget,
- -- gint x,
- -- gint y);
- -- void gtk_widget_set_usize (GtkWidget *widget,
- -- gint width,
- -- gint height);
- -- void gtk_widget_set_events (GtkWidget *widget,
- -- gint events);
- -- void gtk_widget_add_events (GtkWidget *widget,
- -- gint events);
- -- void gtk_widget_set_extension_events (GtkWidget *widget,
- -- GdkExtensionMode mode);
- -- GdkExtensionMode gtk_widget_get_extension_events
- -- (GtkWidget *widget);
- -- GtkWidget* gtk_widget_get_ancestor (GtkWidget *widget,
- -- GType widget_type);
- -- GdkColormap* gtk_widget_get_colormap (GtkWidget *widget);
- -- void gtk_widget_set_colormap (GtkWidget *widget,
- -- GdkColormap *colormap);
- -- GdkVisual* gtk_widget_get_visual (GtkWidget *widget);
- -- gint gtk_widget_get_events (GtkWidget *widget);
- -- void gtk_widget_get_pointer (GtkWidget *widget,
- -- gint *x,
- -- gint *y);
- -- gboolean gtk_widget_is_ancestor (GtkWidget *widget,
- -- GtkWidget *ancestor);
- -- gboolean gtk_widget_translate_coordinates
- -- (GtkWidget *src_widget,
- -- GtkWidget *dest_widget,
- -- gint src_x,
- -- gint src_y,
- -- gint *dest_x,
- -- gint *dest_y);
- -- gboolean gtk_widget_hide_on_delete (GtkWidget *widget);
- -- #define gtk_widget_set_rc_style (widget)
- -- void gtk_widget_ensure_style (GtkWidget *widget);
- -- #define gtk_widget_restore_default_style(widget)
- -- void gtk_widget_reset_rc_styles (GtkWidget *widget);
- -- void gtk_widget_push_colormap (GdkColormap *cmap);
- -- void gtk_widget_pop_colormap (void);
- -- void gtk_widget_set_default_colormap (GdkColormap *colormap);
- -- GtkStyle* gtk_widget_get_default_style (void);
- -- GdkColormap* gtk_widget_get_default_colormap
- -- (void);
- -- GdkVisual* gtk_widget_get_default_visual (void);
- -- void gtk_widget_set_direction (GtkWidget *widget,
- -- GtkTextDirection dir);
- -- enum GtkTextDirection;
- -- GtkTextDirection gtk_widget_get_direction (GtkWidget *widget);
- -- void gtk_widget_set_default_direction
- -- (GtkTextDirection dir);
- -- GtkTextDirection gtk_widget_get_default_direction
- -- (void);
- -- void gtk_widget_shape_combine_mask (GtkWidget *widget,
- -- GdkBitmap *shape_mask,
- -- gint offset_x,
- -- gint offset_y);
- -- void gtk_widget_path (GtkWidget *widget,
- -- guint *path_length,
- -- gchar **path,
- -- gchar **path_reversed);
- -- void gtk_widget_class_path (GtkWidget *widget,
- -- guint *path_length,
- -- gchar **path,
- -- gchar **path_reversed);
- -- gchar* gtk_widget_get_composite_name (GtkWidget *widget);
- -- void gtk_widget_modify_style (GtkWidget *widget,
- -- GtkRcStyle *style);
- -- GtkRcStyle* gtk_widget_get_modifier_style (GtkWidget *widget);
- -- void gtk_widget_modify_fg (GtkWidget *widget,
- -- GtkStateType state,
- -- const GdkColor *color);
- -- void gtk_widget_modify_bg (GtkWidget *widget,
- -- GtkStateType state,
- -- const GdkColor *color);
- -- void gtk_widget_modify_text (GtkWidget *widget,
- -- GtkStateType state,
- -- const GdkColor *color);
- -- void gtk_widget_modify_base (GtkWidget *widget,
- -- GtkStateType state,
- -- const GdkColor *color);
- -- void gtk_widget_modify_font (GtkWidget *widget,
- -- PangoFontDescription *font_desc);
- -- PangoContext* gtk_widget_get_pango_context (GtkWidget *widget);
- -- PangoLayout* gtk_widget_create_pango_layout (GtkWidget *widget,
- -- const gchar *text);
- -- GdkPixbuf* gtk_widget_render_icon (GtkWidget *widget,
- -- const gchar *stock_id,
- -- GtkIconSize size,
- -- const gchar *detail);
- -- void gtk_widget_pop_composite_child (void);
- -- void gtk_widget_push_composite_child (void);
- -- void gtk_widget_queue_clear (GtkWidget *widget);
- -- void gtk_widget_queue_clear_area (GtkWidget *widget,
- -- gint x,
- -- gint y,
- -- gint width,
- -- gint height);
- -- void gtk_widget_queue_draw_area (GtkWidget *widget,
- -- gint x,
- -- gint y,
- -- gint width,
- -- gint height);
- -- void gtk_widget_reset_shapes (GtkWidget *widget);
- -- void gtk_widget_set_app_paintable (GtkWidget *widget,
- -- gboolean app_paintable);
- -- void gtk_widget_set_double_buffered (GtkWidget *widget,
- -- gboolean double_buffered);
- -- void gtk_widget_set_redraw_on_allocate
- -- (GtkWidget *widget,
- -- gboolean redraw_on_allocate);
- -- void gtk_widget_set_composite_name (GtkWidget *widget,
- -- const gchar *name);
- -- gboolean gtk_widget_set_scroll_adjustments
- -- (GtkWidget *widget,
- -- GtkAdjustment *hadjustment,
- -- GtkAdjustment *vadjustment);
- -- gboolean gtk_widget_mnemonic_activate (GtkWidget *widget,
- -- gboolean group_cycling);
- -- void gtk_widget_class_install_style_property
- -- (GtkWidgetClass *klass,
- -- GParamSpec *pspec);
- -- void gtk_widget_class_install_style_property_parser
- -- (GtkWidgetClass *klass,
- -- GParamSpec *pspec,
- -- GtkRcPropertyParser parser);
- -- GParamSpec* gtk_widget_class_find_style_property
- -- (GtkWidgetClass *klass,
- -- const gchar *property_name);
- -- GParamSpec** gtk_widget_class_list_style_properties
- -- (GtkWidgetClass *klass,
- -- guint *n_properties);
- -- GdkRegion* gtk_widget_region_intersect (GtkWidget *widget,
- -- GdkRegion *region);
- -- gint gtk_widget_send_expose (GtkWidget *widget,
- -- GdkEvent *event);
- -- void gtk_widget_style_get (GtkWidget *widget,
- -- const gchar *first_property_name,
- -- ...);
- -- void gtk_widget_style_get_property (GtkWidget *widget,
- -- const gchar *property_name,
- -- GValue *value);
- -- void gtk_widget_style_get_valist (GtkWidget *widget,
- -- const gchar *first_property_name,
- -- va_list var_args);
- -- AtkObject* gtk_widget_get_accessible (GtkWidget *widget);
- -- gboolean gtk_widget_child_focus (GtkWidget *widget,
- -- GtkDirectionType direction);
- -- void gtk_widget_child_notify (GtkWidget *widget,
- -- const gchar *child_property);
- -- void gtk_widget_freeze_child_notify (GtkWidget *widget);
- -- gboolean gtk_widget_get_child_visible (GtkWidget *widget);
- -- GtkWidget* gtk_widget_get_parent (GtkWidget *widget);
- -- GtkSettings* gtk_widget_get_settings (GtkWidget *widget);
- -- GtkClipboard* gtk_widget_get_clipboard (GtkWidget *widget,
- -- GdkAtom selection);
- -- GdkDisplay* gtk_widget_get_display (GtkWidget *widget);
- -- GdkWindow* gtk_widget_get_root_window (GtkWidget *widget);
- -- GdkScreen* gtk_widget_get_screen (GtkWidget *widget);
- -- gboolean gtk_widget_has_screen (GtkWidget *widget);
- -- #define gtk_widget_pop_visual ()
- -- #define gtk_widget_push_visual (visual)
- -- void gtk_widget_set_child_visible (GtkWidget *widget,
- -- gboolean is_visible);
- -- #define gtk_widget_set_default_visual (visual)
- -- #define gtk_widget_set_visual (widget,visual)
- -- void gtk_widget_thaw_child_notify (GtkWidget *widget);
- -- void gtk_widget_set_no_show_all (GtkWidget *widget,
- -- gboolean no_show_all);
- -- gboolean gtk_widget_get_no_show_all (GtkWidget *widget);
- -- GList* gtk_widget_list_mnemonic_labels (GtkWidget *widget);
- -- void gtk_widget_add_mnemonic_label (GtkWidget *widget,
- -- GtkWidget *label);
- -- void gtk_widget_remove_mnemonic_label
- -- (GtkWidget *widget,
- -- GtkWidget *label);
- -- GtkRequisition* gtk_requisition_copy (const GtkRequisition *requisition);
- -- void gtk_requisition_free (GtkRequisition *requisition);
- -- Object Hierarchy
- -- GObject
- -- +----GtkObject
- -- +----GtkWidget
- -- +----GtkContainer
- -- +----GtkMisc
- -- +----GtkCalendar
- -- +----GtkCellView
- -- +----GtkDrawingArea
- -- +----GtkEntry
- -- +----GtkRuler
- -- +----GtkRange
- -- +----GtkSeparator
- -- +----GtkInvisible
- -- +----GtkOldEditable
- -- +----GtkPreview
- -- +----GtkProgress
- -- Known Derived Interfaces
- -- GtkWidget is required by GtkFileChooser and GtkCellEditable.
- -- Implemented Interfaces
- -- GtkWidget implements AtkImplementorIface.
- -- Properties
- -- "app-paintable" gboolean : Read / Write
- -- "can-default" gboolean : Read / Write
- -- "can-focus" gboolean : Read / Write
- -- "composite-child" gboolean : Read
- -- "events" GdkEventMask : Read / Write
- -- "extension-events" GdkExtensionMode : Read / Write
- -- "has-default" gboolean : Read / Write
- -- "has-focus" gboolean : Read / Write
- -- "height-request" gint : Read / Write
- -- "is-focus" gboolean : Read / Write
- -- "name" gchararray : Read / Write
- -- "no-show-all" gboolean : Read / Write
- -- "parent" GtkContainer : Read / Write
- -- "receives-default" gboolean : Read / Write
- -- "sensitive" gboolean : Read / Write
- -- "style" GtkStyle : Read / Write
- -- "visible" gboolean : Read / Write
- -- "width-request" gint : Read / Write
- -- Style Properties
- -- "cursor-aspect-ratio" gfloat : Read
- -- "cursor-color" GdkColor : Read
- -- "draw-border" GtkBorder : Read
- -- "focus-line-pattern" gchararray : Read
- -- "focus-line-width" gint : Read
- -- "focus-padding" gint : Read
- -- "interior-focus" gboolean : Read
- -- "secondary-cursor-color" GdkColor : Read
- feature -- Signals
- -- "accel-closures-changed"
- -- void user_function (GtkWidget *widget,
- -- gpointer user_data) :
- -- "can-activate-accel"
- -- gboolean user_function (GtkWidget *widget,
- -- guint signal_id,
- -- gpointer user_data) : Run last
- -- "child-notify"
- -- void user_function (GtkWidget *widget,
- -- GParamSpec *pspec,
- -- gpointer user_data) : Run first / No recursion / Has details / No hooks
- -- "client-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventClient *event,
- -- gpointer user_data) : Run last
- -- "configure-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventConfigure *event,
- -- gpointer user_data) : Run last
- feature -- delete-event signal
- delete_event_signal_name: STRING is "delete-event"
- enable_on_delete_event is
- -- Connects "delete-event" signal to `on_delete_event' feature.
- do
- connect (Current, delete_event_signal_name, $on_delete_event)
- end
- on_delete_event: INTEGER is
- -- Built-in delete-event signal handler; empty by design; redefine it.
- -- The `delete-event' signal is emitted if a user requests that a
- -- toplevel window is closed. The default handler for this signal
- -- destroys the window.
- -- finish with "Result := 1" to stop other handlers.
- do
- end
- connect_agent_to_delete_event_signal (a_function: FUNCTION[ANY, TUPLE [GTK_WIDGET, GDK_EVENT], BOOLEAN]) is
- require
- valid_function: a_function /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- delete_event_callback: DELETE_EVENT_CALLBACK
- do
- create delete_event_callback.make
- delete_event_callback.connect (Current, a_function)
- end
- -- "direction-changed"
- -- void user_function (GtkWidget *widget,
- -- GtkTextDirection arg1,
- -- gpointer user_data) : Run first
- feature -- drag-begin signal
- drag_begin_signal_name: STRING is "drag-begin"
- -- "drag-begin"
- -- void user_function (GtkWidget *widget,
- -- GdkDragContext *drag_context,
- -- gpointer user_data) : Run last
- enable_on_drag_begin is
- -- Connects "drag-begin" signal to `on_drag_begin' feature.
- do
- connect (Current, drag_begin_signal_name, $on_drag_begin)
- end
- on_drag_begin: INTEGER is
- -- Built-in drag-begin signal handler; empty by design; redefine it.
- -- The `drag-begin' signal is emitted on the drag source
- -- when a drag is started. A typical reason to connect to this
- -- signal is to set up a custom drag icon with
- -- gtk_drag_source_set_icon().
- do
- end
- connect_agent_to_drag_begin_signal (a_procedure: PROCEDURE[ANY, TUPLE [GDK_DRAG_CONTEXT, GTK_WIDGET]]) is
- -- widget : the object which received the signal.
- -- drag_context : the drag context
- require
- valid_procedure: a_procedure /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- drag_begin_callback: DRAG_BEGIN_CALLBACK
- do
- create drag_begin_callback.make
- drag_begin_callback.connect (Current, a_procedure)
- end
- feature -- drag-data-delete signal
- drag_data_delete_signal_name: STRING is "drag-data-delete"
- -- "drag-data-delete"
- -- void user_function (GtkWidget *widget,
- -- GdkDragContext *drag_context,
- -- gpointer user_data) : Run last
- enable_on_drag_data_delete is
- -- Connects "drag-data-delete" signal to `on_drag_data_delete' feature.
- do
- connect (Current, drag_data_delete_signal_name, $on_drag_data_delete)
- end
- on_drag_data_delete: INTEGER is
- -- Built-in drag-data-delete signal handler; empty by design; redefine it.
- -- The `drag-data-delete' signal is emitted on the drag
- -- source when a drag with the action GDK_ACTION_MOVE is
- -- successfully completed. The signal handler is responsible
- -- for deleting the data that has been dropped. What "delete"
- -- means, depends on the context of the drag operation
- do
- end
- connect_agent_to_drag_data_delete_signal (a_procedure: PROCEDURE[ANY, TUPLE [GDK_DRAG_CONTEXT, GTK_WIDGET]]) is
- -- widget : the object which received the signal.
- -- drag_context : the drag context
- require
- valid_procedure: a_procedure /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- drag_data_delete_callback: DRAG_DATA_DELETE_CALLBACK
- do
- create drag_data_delete_callback.make
- drag_data_delete_callback.connect (Current, a_procedure)
- end
- feature -- drag-data-get signal
- drag_data_get_signal_name: STRING is "drag-data-get"
- -- "drag-data-get"
- -- void user_function (GtkWidget *widget,
- -- GdkDragContext *drag_context,
- -- GtkSelectionData *data,
- -- guint info,
- -- guint time,
- -- gpointer user_data) : Run last
- enable_on_drag_data_get is
- -- Connects "drag-data-get" signal to `on_drag_data_get' feature.
- do
- connect (Current, drag_data_get_signal_name, $on_drag_data_get)
- end
- on_drag_data_get: INTEGER is
- -- Built-in drag-data-get signal handler; empty by design; redefine it.
- -- The `drag-data-get' signal is emitted on the drag source
- -- when the drop site requests the data which is dragged. It is
- -- the responsibility of the signal handler to fill data with
- -- the data in the format which is indicated by info. See
- -- gtk_selection_data_set() and gtk_selection_data_set_text().
- do
- end
- connect_agent_to_drag_data_get_signal (a_procedure: PROCEDURE[ANY,
- TUPLE [GDK_DRAG_CONTEXT, GTK_SELECTION_DATA,
- INTEGER, INTEGER, GTK_WIDGET]]) is
- -- widget : the object which received the signal.
- -- drag_context : the drag context
- -- data : the GtkSelectionData to be filled with the dragged data
- -- info : the info that has been registered with the target in the GtkTargetList.
- -- time : the timestamp at which the data was requested
- require
- valid_procedure: a_procedure /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- drag_data_get_callback: DRAG_DATA_GET_CALLBACK
- do
- create drag_data_get_callback.make
- drag_data_get_callback.connect (Current, a_procedure)
- end
- feature -- drag-data-received signal
- drag_data_received_signal_name: STRING is "drag-data-received"
- -- "drag-data-received"
- -- void user_function (GtkWidget *widget,
- -- GdkDragContext *drag_context,
- -- gint x,
- -- gint y,
- -- GtkSelectionData *data,
- -- guint info,
- -- guint time,
- -- gpointer user_data) : Run last
- enable_on_drag_data_received is
- -- Connects "drag-data-received" signal to `on_drag_data_received' feature.
- do
- connect (Current, drag_data_received_signal_name, $on_drag_data_received)
- end
- on_drag_data_received: INTEGER is
- -- Built-in drag-data-received signal handler; empty by design; redefine it.
- -- The `drag-data-received' signal is emitted on the drop
- -- site when the dragged data has been received. If the data
- -- was received in order to determine whether the drop will be
- -- accepted, the handler is expected to call gdk_drag_status()
- -- and not finish the drag. If the data was received in
- -- response to a `drag-drop' signal (and this is the last
- -- target to be received), the handler for this signal is
- -- expected to process the received data and then call
- -- gtk_drag_finish(), setting the success parameter depending
- -- on whether the data was processed successfully.
- -- The handler may inspect and modify drag_context->action
- -- before calling gtk_drag_finish(), e.g. to implement
- -- GDK_ACTION_ASK as shown in the following example:
- -- (see http://developer.gnome.org/doc/API/2.0/gtk/GtkWidget.html#GtkWidget-drag-data-received)
- do
- end
- connect_agent_to_drag_data_received_signal (a_procedure: PROCEDURE[ANY,
- TUPLE [GDK_DRAG_CONTEXT, INTEGER, INTEGER,
- GTK_SELECTION_DATA, INTEGER, INTEGER,
- GTK_WIDGET]]) is
- -- widget : the object which received the signal.
- -- drag_context : the drag context
- -- x : where the drop happened
- -- y : where the drop happened
- -- data : the received data
- -- info : the info that has been registered with the target in the GtkTargetList.
- -- time : the timestamp at which the data was received
- require
- valid_procedure: a_procedure /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- drag_data_received_callback: DRAG_DATA_RECEIVED_CALLBACK
- do
- create drag_data_received_callback.make
- drag_data_received_callback.connect (Current, a_procedure)
- end
- feature -- drag-drop signal
- drag_drop_signal_name: STRING is "drag-drop"
- -- "drag-drop" gboolean user_function (GtkWidget *widget,
- -- GdkDragContext *drag_context,
- -- gint x,
- -- gint y,
- -- guint time,
- -- gpointer user_data) : Run last
- enable_on_drag_drop is
- -- Connects "drag-drop" signal to `on_drag_drop' feature.
- do
- connect (Current, drag_drop_signal_name, $on_drag_drop)
- end
- on_drag_drop: INTEGER is
- -- Built-in drag-drop signal handler; empty by design; redefine it.
- -- The `drag-drop signal' is emitted on the drop site when
- -- the user drops the data onto the widget. The signal handler
- -- must determine whether the cursor position is in a drop zone
- -- or not. If it is not in a drop zone, it returns FALSE and no
- -- further processing is necessary. Otherwise, the handler
- -- returns TRUE. In this case, the handler must ensure that
- -- gtk_drag_finish() is called to let the source know that the
- -- drop is done. The call to gtk_drag_finish() can be done
- -- either directly or in a ::drag-data-received handler which
- -- gets triggered by calling gtk_drop_get_data() to receive the
- -- data for one or more of the supported targets.
- do
- end
- connect_agent_to_drag_drop_signal (a_function: FUNCTION[ANY, TUPLE [GDK_DRAG_CONTEXT, INTEGER, INTEGER,
- INTEGER, GTK_WIDGET], BOOLEAN]) is
- -- widget : the object which received the signal.
- -- drag_context : the drag context
- -- x : the x coordinate of the current cursor position
- -- y : the y coordinate of the current cursor position
- -- time : the timestamp of the motion event
- -- returns : whether the cursor position is in a drop zone
- require
- valid_function: a_function /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- drag_drop_callback: DRAG_DROP_CALLBACK
- do
- create drag_drop_callback.make
- drag_drop_callback.connect (Current, a_function)
- end
- feature -- drag-end signal
- drag_end_signal_name: STRING is "drag-end"
- -- "drag-end" void user_function (GtkWidget *widget,
- -- GdkDragContext *drag_context,
- -- gpointer user_data) : Run last
- enable_on_drag_end is
- -- Connects "drag-end" signal to `on_drag_end' feature.
- do
- connect (Current, drag_end_signal_name, $on_drag_end)
- end
- on_drag_end: INTEGER is
- -- Built-in drag-end signal handler; empty by design; redefine it.
- -- The `drag-end' signal is emitted on the drag source when
- -- a drag is finished. A typical reason to connect to this
- -- signal is to undo things done in `drag-begin'.
- do
- end
- connect_agent_to_drag_end_signal (a_procedure: PROCEDURE[ANY, TUPLE [GDK_DRAG_CONTEXT, GTK_WIDGET]]) is
- -- widget : the object which received the signal.
- -- drag_context : the drag context
- require
- valid_procedure: a_procedure /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- drag_end_callback: DRAG_END_CALLBACK
- do
- create drag_end_callback.make
- drag_end_callback.connect (Current, a_procedure)
- end
- feature -- drag-leave signal
- drag_leave_signal_name: STRING is "drag-leave"
- -- "drag-leave"
- -- void user_function (GtkWidget *widget,
- -- GdkDragContext *drag_context,
- -- guint time,
- -- gpointer user_data) : Run last
- enable_on_drag_leave is
- -- Connects "drag-leave" signal to `on_drag_leave' feature.
- do
- connect (Current, drag_leave_signal_name, $on_drag_leave)
- end
- on_drag_leave: INTEGER is
- -- Built-in drag-leave signal handler; empty by design; redefine it.
- -- The `drag-leave' signal is emitted on the drop site when
- -- the cursor leaves the widget. A typical reason to connect to
- -- this signal is to undo things done in `drag-motion', e.g.
- -- undo highlighting with gtk_drag_unhighlight()
- do
- end
- connect_agent_to_drag_leave_signal (a_procedure: PROCEDURE[ANY, TUPLE [GDK_DRAG_CONTEXT, INTEGER, GTK_WIDGET]]) is
- -- widget : the object which received the signal.
- -- drag_context : the drag context
- -- time : the timestamp of the motion event
- require
- valid_procedure: a_procedure /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- drag_leave_callback: DRAG_LEAVE_CALLBACK
- do
- create drag_leave_callback.make
- drag_leave_callback.connect (Current, a_procedure)
- end
- feature -- drag-motion signal
- drag_motion_signal_name: STRING is "drag-motion"
- -- "drag-motion"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkDragContext *drag_context,
- -- gint x,
- -- gint y,
- -- guint time,
- -- gpointer user_data) : Run last
- enable_on_drag_motion is
- -- Connects "drag-motion" signal to `on_drag_motion' feature.
- do
- connect (Current, drag_motion_signal_name, $on_drag_motion)
- end
- on_drag_motion: INTEGER is
- -- Built-in drag-motion signal handler; empty by design; redefine it.
- -- The `drag-motion' signal is emitted on the drop site when
- -- the user moves the cursor over the widget during a drag. The
- -- signal handler must determine whether the cursor position is
- -- in a drop zone or not. If it is not in a drop zone, it
- -- returns FALSE and no further processing is necessary.
- -- Otherwise, the handler returns TRUE. In this case, the
- -- handler is responsible for providing the necessary
- -- information for displaying feedback to the user, by calling
- -- gdk_drag_status(). If the decision whether the drop will be
- -- accepted or rejected can't be made based solely on the
- -- cursor position and the type of the data, the handler may
- -- inspect the dragged data by calling gtk_drag_get_data() and
- -- defer the gdk_drag_status() call to the `drag-data-received'
- -- handler.
- -- Note that there is no `drag-enter' signal. The drag
- -- receiver has to keep track of whether he has received any
- -- `drag-motion' signals since the last `drag-leave' and if
- -- not, treat the `drag-motion' signal as an "enter" signal.
- -- Upon an "enter", the handler will typically highlight the
- -- drop site with gtk_drag_highlight().
- -- See an example here: http://developer.gnome.org/doc/API/2.0/gtk/GtkWidget.html#GtkWidget-drag-motion.
- do
- end
- connect_agent_to_drag_motion_signal (a_function: FUNCTION[ANY, TUPLE [GDK_DRAG_CONTEXT, INTEGER, INTEGER,
- INTEGER, GTK_WIDGET], BOOLEAN]) is
- -- widget : the object which received the signal.
- -- drag_context : the drag context
- -- x : the x coordinate of the current cursor position
- -- y : the y coordinate of the current cursor position
- -- time : the timestamp of the motion event
- -- returns : whether the cursor position is in a drop zone
- require
- valid_function: a_function /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- drag_motion_callback: DRAG_MOTION_CALLBACK
- do
- create drag_motion_callback.make
- drag_motion_callback.connect (Current, a_function)
- end
- feature -- enter-notify-event signal
- enter_notify_event_signal_name: STRING is "enter-notify-event"
- -- "enter-notify-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventCrossing *event,
- -- gpointer user_data) : Run last
- enable_on_enter_notify_event is
- -- Connects "enter-notify-event" signal to `on_enter_notify_event' feature.
- do
- connect (Current, enter_notify_event_signal_name, $on_enter_notify_event)
- end
- on_enter_notify_event (an_event_crossing: GDK_EVENT_CROSSING; a_widget: GTK_WIDGET): BOOLEAN is
- -- Built-in enter-notify-event signal handler; empty by design; redefine it.
- do
- end
- connect_agent_to_enter_notify_event_signal (a_function: FUNCTION[ANY, TUPLE [GDK_EVENT_CROSSING, GTK_WIDGET], BOOLEAN]) is
- -- widget : the object which received the signal.
- -- event :
- -- user_data : user data set when the signal handler was connected.
- -- Returns : TRUE to stop other handlers from being invoked for the event. FALSE to propagate the event further.
- require
- valid_function: a_function /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- enter_notify_event_callback: ENTER_NOTIFY_EVENT_CALLBACK
- do
- create enter_notify_event_callback.make
- enter_notify_event_callback.connect (Current, a_function)
- end
- -- "event" gboolean user_function (GtkWidget *widget,
- -- GdkEvent *event,
- -- gpointer user_data) : Run last
- -- "event-after"
- -- void user_function (GtkWidget *widget,
- -- GdkEvent *event,
- -- gpointer user_data) :
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventExpose *event,
- -- gpointer user_data) : Run last
- feature -- "expose-event"
- connect_agent_to_expose_event_signal (a_function: FUNCTION[ANY, TUPLE [GDK_EVENT_EXPOSE, GTK_WIDGET], BOOLEAN]) is
- -- The ::expose-event signal is emitted when an area of a previously
- -- obscured GdkWindow is made visible and needs to be redrawn.
- -- GTK_NO_WINDOW widgets will get a synthesized event from their
- -- parent widget.
- --
- -- To receive this signal, the GdkWindow associated to the widget
- -- needs to enable the GDK_EXPOSURE_MASK mask.
- require
- valid_function: a_function /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- expose_event_callback: EXPOSE_EVENT_CALLBACK
- do
- create expose_event_callback.make
- expose_event_callback.connect (Current, a_function)
- end
- -- "focus" gboolean user_function (GtkWidget *widget,
- -- GtkDirectionType arg1,
- -- gpointer user_data) : Run last
- -- "focus-in-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventFocus *event,
- -- gpointer user_data) : Run last
- feature -- focus-out-event signal
- focus_out_event_signal_name: STRING is "focus-out-event"
- -- "focus-out-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventFocus *event,
- -- gpointer user_data) : Run last
- enable_on_focus_out_event is
- -- Connects "kry-press-event" signal to `on_focus_out_event' feature.
- do
- connect (Current, focus_out_event_signal_name, $on_focus_out_event)
- end
- on_focus_out_event: INTEGER is
- -- Built-in focus-out-event signal handler; empty by design; redefine it.
- do
- end
- connect_agent_to_focus_out_event_signal (a_function: FUNCTION[ANY, TUPLE [GDK_EVENT_FOCUS, GTK_WIDGET], BOOLEAN]) is
- -- The `focus-out-event' signal will be emitted when the keyboard focus
- -- leaves the widget's window.
- -- To receive this signal, the GdkWindow associated to the widget needs to
- -- enable the GDK_FOCUS_CHANGE_MASK mask.
- -- widget: the object which received the signal
- -- event: the GdkEventFocus which triggered this signal
- -- Returns: True to stop other handlers from being invoked for the
- -- event. False to propagate the event further.
- require
- valid_function: a_function /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- focus_out_event_callback: FOCUS_OUT_EVENT_CALLBACK
- do
- create focus_out_event_callback.make
- focus_out_event_callback.connect (Current, a_function)
- end
- -- "grab-broken-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEvent *event,
- -- gpointer user_data) : Run last
- -- "grab-focus"
- -- void user_function (GtkWidget *widget,
- -- gpointer user_data) : Run last / Action
- -- "grab-notify"
- -- void user_function (GtkWidget *widget,
- -- gboolean arg1,
- -- gpointer user_data) : Run first
- -- "hide" void user_function (GtkWidget *widget,
- -- gpointer user_data) : Run first
- -- "hierarchy-changed"
- -- void user_function (GtkWidget *widget,
- -- GtkWidget *widget2,
- -- gpointer user_data) : Run last
- feature -- key-press-event signal
- key_press_event_signal_name: STRING is "key-press-event"
- -- "key-press-event" signal
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventKey *event,
- -- gpointer user_data) : Run last
- enable_on_key_press_event is
- -- Connects "kry-press-event" signal to `on_key_press_event' feature.
- do
- connect (Current, key_press_event_signal_name, $on_key_press_event)
- end
- on_key_press_event: INTEGER is
- -- Built-in key-press-event signal handler; empty by design; redefine it.
- do
- end
- connect_agent_to_key_press_event_signal (a_function: FUNCTION[ANY, TUPLE [GDK_EVENT_KEY, GTK_WIDGET], BOOLEAN]) is
- -- widget : the object which received the signal.
- -- event :
- -- user_data : user data set when the signal handler was connected.
- -- Returns : TRUE to stop other handlers from being invoked for the event. FALSE to propagate the event further.
- require
- valid_function: a_function /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- key_press_event_callback: KEY_PRESS_EVENT_CALLBACK
- do
- create key_press_event_callback.make
- key_press_event_callback.connect (Current, a_function)
- end
- -- "key-release-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventKey *event,
- -- gpointer user_data) : Run last
- feature -- leave-notify-event signal
- leave_notify_event_signal_name: STRING is "leave-notify-event"
- -- "leave-notify-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventCrossing *event,
- -- gpointer user_data) : Run last
- enable_on_leave_notify_event is
- -- Connects "leave-notify-event" signal to `on_leave_notify_event' feature.
- do
- connect (Current, leave_notify_event_signal_name, $on_leave_notify_event)
- end
- on_leave_notify_event (an_event_crossing: GDK_EVENT_CROSSING; a_widget: GTK_WIDGET): BOOLEAN is
- -- Built-in leave-notify-event signal handler; empty by design; redefine it.
- do
- end
- connect_agent_to_leave_notify_event_signal (a_function: FUNCTION[ANY, TUPLE [GDK_EVENT_CROSSING, GTK_WIDGET], BOOLEAN]) is
- -- widget : the object which received the signal.
- -- event :
- -- user_data : user data set when the signal handler was connected.
- -- Returns : TRUE to stop other handlers from being invoked for the event. FALSE to propagate the event further.
- require
- valid_function: a_function /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- leave_notify_event_callback: LEAVE_NOTIFY_EVENT_CALLBACK
- do
- create leave_notify_event_callback.make
- leave_notify_event_callback.connect (Current, a_function)
- end
- -- "map" void user_function (GtkWidget *widget,
- -- gpointer user_data) : Run first
- -- "map-event" gboolean user_function (GtkWidget *widget,
- -- GdkEvent *event,
- -- gpointer user_data) : Run last
- -- "mnemonic-activate"
- -- gboolean user_function (GtkWidget *widget,
- -- gboolean arg1,
- -- gpointer user_data) : Run last
- feature -- motion-notify-event signal
- motion_notify_event_signal_name: STRING is "motion-notify-event"
- -- "motion-notify-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventMotion *event,
- -- gpointer user_data) : Run last
- enable_on_motion_notify_event is
- -- Connects "motion-notify-event" signal to `on_motion_notify_event' feature.
- do
- connect (Current, motion_notify_event_signal_name, $on_motion_notify_event)
- end
- on_motion_notify_event (a_event_motion: GDK_EVENT_MOTION; a_widet: GTK_WIDGET): BOOLEAN is
- -- Built-in motion-notify-event signal handler; empty by design; redefine it.
- do
- end
- connect_agent_to_motion_notify_event_signal (a_function: FUNCTION[ANY, TUPLE [GDK_EVENT_MOTION, GTK_WIDGET], BOOLEAN]) is
- -- widget : the object which received the signal.
- -- event :
- -- user_data : user data set when the signal handler was connected.
- -- Returns : TRUE to stop other handlers from being invoked for the event. FALSE to propagate the event further.
- require
- valid_function: a_function /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- motion_notify_event_callback: MOTION_NOTIFY_EVENT_CALLBACK
- do
- create motion_notify_event_callback.make
- motion_notify_event_callback.connect (Current, a_function)
- end
- feature -- button-release-event signal
- button_release_event_signal_name: STRING is "button-release-event"
- -- "button-release-event" signal
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventButton *event,
- -- gpointer user_data) : Run last
- enable_on_button_release_event is
- -- Connects "button-release-event" signal to `on_button_release_event' feature.
- do
- connect (Current, button_release_event_signal_name, $on_button_release_event)
- end
- on_button_release_event (event: GDK_EVENT_BUTTON; a_widget: GTK_WIDGET): BOOLEAN is
- -- Built-in button-release-event signal handler; empty by design; redefine it.
- do
- end
- connect_agent_to_button_release_event_signal (a_function: FUNCTION[ANY, TUPLE [GDK_EVENT_BUTTON, GTK_WIDGET], BOOLEAN]) is
- -- widget : the object which received the signal.
- -- event :
- -- user_data : user data set when the signal handler was connected.
- -- Returns : TRUE to stop other handlers from being invoked for the event. FALSE to propagate the event further.
- require
- valid_function: a_function /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- button_release_event_callback: BUTTON_RELEASE_EVENT_CALLBACK
- do
- create button_release_event_callback.make
- button_release_event_callback.connect (Current, a_function)
- end
- feature -- button-press-event signal
- button_press_event_signal_name: STRING is "button-press-event"
- -- "button-press-event" signal
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventButton *event,
- -- gpointer user_data) : Run last
- enable_on_button_press_event is
- -- Connects "button-press-event" signal to `on_button_press_event' feature.
- do
- connect (Current, button_press_event_signal_name, $on_button_press_event)
- end
- on_button_press_event (event: GDK_EVENT_BUTTON; a_widget: GTK_WIDGET): BOOLEAN is
- -- Built-in button-press-event signal handler; empty by design; redefine it.
- do
- end
- connect_agent_to_button_press_event_signal (a_function: FUNCTION[ANY, TUPLE [GDK_EVENT_BUTTON, GTK_WIDGET], BOOLEAN]) is
- -- widget : the object which received the signal.
- -- event :
- -- user_data : user data set when the signal handler was connected.
- -- Returns : TRUE to stop other handlers from being invoked for the event. FALSE to propagate the event further.
- require
- valid_function: a_function /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- button_press_event_callback: BUTTON_PRESS_EVENT_CALLBACK
- do
- create button_press_event_callback.make
- button_press_event_callback.connect (Current, a_function)
- end
- -- "no-expose-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventNoExpose *event,
- -- gpointer user_data) : Run last
- -- "parent-set"
- -- void user_function (GtkWidget *widget,
- -- GtkObject *old_parent,
- -- gpointer user_data) : Run first
- -- "popup-menu"
- -- gboolean user_function (GtkWidget *widget,
- -- gpointer user_data) : Run last / Action
- -- "property-notify-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventProperty *event,
- -- gpointer user_data) : Run last
- -- "proximity-in-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventProximity *event,
- -- gpointer user_data) : Run last
- -- "proximity-out-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventProximity *event,
- -- gpointer user_data) : Run last
- feature -- realize signal
- realize_signal_name: STRING is "realize"
- -- "realize" void user_function (GtkWidget *widget,
- -- gpointer user_data) : Run first
- enable_on_realize is
- -- Connects "realize" signal to `on_realize' feature.
- do
- connect (Current, realize_signal_name, $on_realize)
- end
- on_realize is
- -- Built-in realize signal handler; empty by design; redefine it.
- do
- end
- connect_agent_to_realize_signal (a_procedure: PROCEDURE[ANY, TUPLE [GTK_WIDGET]]) is
- -- widget : the object which received the signal.
- require
- valid_procedure: a_procedure /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- realize_callback: REALIZE_CALLBACK
- do
- create realize_callback.make
- realize_callback.connect (Current, a_procedure)
- end
- -- "screen-changed"
- -- void user_function (GtkWidget *widget,
- -- GdkScreen *arg1,
- -- gpointer user_data) : Run last
- feature -- scroll-event signal
- scroll_event_signal_name: STRING is "scroll-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventScroll *event,
- -- gpointer user_data) : Run last
- enable_on_scroll_event is
- -- Connects "scroll-event" signal to `on_scroll_event' feature.
- do
- connect (Current, scroll_event_signal_name, $on_scroll_event)
- end
- on_scroll_event (event: POINTER; a_widget: POINTER): BOOLEAN is
- -- Built-in button-release-event signal handler; empty by design; redefine it.
- do
- end
- connect_agent_to_scroll_event_signal (a_function: FUNCTION[ANY, TUPLE [GDK_EVENT_SCROLL, GTK_WIDGET], BOOLEAN]) is
- -- widget : the object which received the signal.
- -- event :
- -- user_data : user data set when the signal handler was connected.
- -- Returns : TRUE to stop other handlers from being invoked for the event. FALSE to propagate the event further.
- require
- valid_function: a_function /= Void
- wrapper_is_stored: is_eiffel_wrapper_stored
- local
- scroll_event_callback: SCROLL_EVENT_CALLBACK
- do
- create scroll_event_callback.make
- scroll_event_callback.connect (Current, a_function)
- end
- -- "selection-clear-event"
- -- gboolean user_function (GtkWidget *widget,
- -- GdkEventSelection *event,
- -- gpointer user_data) : Run last
- -- "selection-get"
- -- void user_fun