log sat_frontends/quick_frontend/quick_widgets.py @ 4023:78b5f356900c

age author description
Fri, 19 Mar 2021 15:45:14 +0100 Goffi date update
Wed, 12 Feb 2020 19:46:14 +0100 Goffi quick frontends (widgets): added widgetNew and widgetDelete listeners:
Wed, 12 Feb 2020 19:38:32 +0100 Goffi quick frontend(widget): added `with_duplicates` argument to getWidgets: