log

age author description
Wed, 12 Feb 2020 19:46:14 +0100 Goffi quick frontends (widgets): added widgetNew and widgetDelete listeners:
Wed, 12 Feb 2020 19:44:05 +0100 Goffi quick frontends (app): added an "ignore_missing" argument to RemoveListener:
Wed, 12 Feb 2020 19:40:48 +0100 Goffi quick frontend (app): replaced OrderedDict by regular dict:
Wed, 12 Feb 2020 19:38:32 +0100 Goffi quick frontend(widget): added `with_duplicates` argument to getWidgets:
Mon, 10 Feb 2020 22:02:31 +0100 Goffi quick frontend(app): added listener for selected widget
Mon, 10 Feb 2020 22:01:53 +0100 Goffi bridge: added methods to let frontends store/retrieve/delete private data