comparison sat_frontends/quick_frontend/quick_games.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 559a625a236b
children be6d91572633
comparison
equal deleted inserted replaced
3167:d0fb79f97466 3168:1cb232c9e845