diff frontends/src/primitivus/profile_manager.py @ 521:3f8c2a0f20e5

primitivus: fixed double messages discarding
author Goffi <goffi@goffi.org>
date Sun, 21 Oct 2012 13:23:21 +0200
parents 62f7f2403093
children ca13633d3b6b
line wrap: on
line diff