comparison frontends/src/jp/cmd_pipe.py @ 1737:ad5da569ecf4

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