annotate src/tools/__init__.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 9c6ee3f9ab29
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source