diff src/tools/xml_tools.py @ 2043:f3940f6a3222

quick frontend (widgets): a deletion with onDelete can now be cancelled if onDelete return False
author Goffi <goffi@goffi.org>
date Mon, 22 Aug 2016 20:56:51 +0200
parents 2daf7b4c6756
children 4de202bdde05
line wrap: on
line diff