comparison frontends/src/primitivus/profile_manager.py @ 1177:a283968818da

primitivus: added REFRESH_SCREEN key to global namespace
author Goffi <goffi@goffi.org>
date Sat, 06 Sep 2014 17:34:26 +0200
parents 344bbe6fd1de
children 49d39b619e5d
comparison
equal deleted inserted replaced
1176:bc3cdf770328 1177:a283968818da