annotate sat_frontends/tools/__init__.py @ 3168:1cb232c9e845

quick frontends (widgets): added widgetNew and widgetDelete listeners: - `widgetNew` is called when a brand new widget is created (not when a new instance is created if there is already an existing one) - `widgetDelete` is called when all instances of a widget (with a given widget_hash) have been deleted.
author Goffi <goffi@goffi.org>
date Wed, 12 Feb 2020 19:46:14 +0100
parents 26edcf3a30eb
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source