diff frontends/src/quick_frontend/quick_widgets.py @ 2016:f09562b0704d

quick_frontend, primitivus: better notifications handling
author Goffi <goffi@goffi.org>
date Sun, 24 Jul 2016 17:56:14 +0200
parents 19b9d3f8a6c7
children 666b42c957b5
line wrap: on
line diff