Padre-Plugin-WxWidgets is a Padre repository