log sat_frontends/quick_frontend/constants.py @ 3244:b10d207f95f9

age author description
Wed, 12 Feb 2020 19:46:14 +0100 Goffi quick frontends (widgets): added widgetNew and widgetDelete listeners: