annotate sat/VERSION @ 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 ff5bcb12ae60
children efe2445b053c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3027
ff5bcb12ae60 0.8 development starts
Goffi <goffi@goffi.org>
parents: 3025
diff changeset
1 0.8.0D