comparison frontends/src/quick_frontend/quick_list_manager.py @ 1737:ad5da569ecf4

core (xmlui): fixed deferConfirm
author Goffi <goffi@goffi.org>
date Tue, 15 Dec 2015 12:41:07 +0100
parents 8b8b1af5905f
children d17772b0fe22
comparison
equal deleted inserted replaced
1736:3739f7779f17 1737:ad5da569ecf4