diff frontends/src/primitivus/xmlui.py @ 1488:66d01f29f886

primitivus (ProfileManager): fixed profile change event callback
author Goffi <goffi@goffi.org>
date Tue, 25 Aug 2015 14:22:21 +0200
parents a77217511afd
children 8c071bc359c9
line wrap: on
line diff