diff frontends/src/quick_frontend/quick_app.py @ 646:f7804c52c754

primitivus: disconnected contact crash fix fix IndexError when selecting a contact and hiding disconnected ones fix bug 47
author Goffi <goffi@goffi.org>
date Sun, 22 Sep 2013 01:49:19 +0200
parents 262d9d9ad27a
children 0b9bd47dffcd
line wrap: on
line diff