An editor for the OpenJsCad library