wxWidgets port of DarkRadiant, the map editor for The Dark Mod