diff frontends/src/wix/xmlui.py @ 516:7ee15fbe8c08

core: added priority management in triggers
author Goffi <goffi@goffi.org>
date Sat, 20 Oct 2012 18:18:40 +0200
parents 2a072735e459
children 1d58758689e9
line wrap: on
line diff