An editor for XPilot shipshapes