Manuel Op de Coul wrote: > You are trying something very strange here. Normally, > Destroy takes care of removing the widget and freeing the > memory. I don't free widget. Unchecked_Cast does! How can I conver result of Gtk.Toolbar.Append_Element to Gtk_Toggle_Button?