You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
This follows the natural handing of widgets in pygobject, and avoids leaking widgets that are put in the MDI: those widgets will be destroyed when the MDI child is closed. Change-Id: I8c74bcd0b68090c1a409c936df2dbd18645bead7