procedure Popup_Properties_Editor
( | Object | : access Glib.Object.GObject_Record'Class); |
function Widget_At
( | Top | : access Gtk.Widget.Gtk_Widget_Record'Class; |
X, Y | : Glib.Gint) return Gtk.Widget.Gtk_Widget; |
function Widget_At_Pointer return Gtk.Widget.Gtk_Widget;
This package provides a dialog, that you can use a development help in your own application.
This dialog allows you to select any widget from your application, and see its properties, or even change them dynamically. This helps in analyzing the effect of properties.