(ViewPort.set_view_transform): Handle ZeroDivisionError exceptions. I don't know when they happen exactly. It probably happens when the projections aren't set properly.
trunk/thuban/ChangeLog
trunk/thuban/Thuban/UI/viewport.py