with Gtk.Main; with Gtk.Handlers; with Gtk.Widget; use Gtk.Widget; package handlery is package Handlers is new Gtk.Handlers.Callback (Gtk_Widget_Record); procedure Destroy (Widget : access Gtk_Widget_Record'Class); end handlery;