comparison frontends/src/tools/xmlui.py @ 797:84214df2d837

primitivus: fixed bad closure, resulting in menus bug.
author Goffi <goffi@goffi.org>
date Tue, 04 Feb 2014 18:02:37 +0100
parents 46aa5ada61bf
children 9007bb133009
comparison
equal deleted inserted replaced
796:46aa5ada61bf 797:84214df2d837