wxGlade: a GUI builder for wxWidgets/wxPython