comparison frontends/src/primitivus/progress.py @ 1161:344bbe6fd1de

primitivus: profile manager now handle APP_QUIT key
author Goffi <goffi@goffi.org>
date Thu, 04 Sep 2014 19:05:57 +0200
parents 1fe00f0c9a91
children e3a9ea76de35
comparison
equal deleted inserted replaced
1160:2ff15a6c5791 1161:344bbe6fd1de