log sat_frontends/tools/xmlui.py @ 3103:f0f48b4deb35

age author description
Wed, 25 Sep 2019 08:56:41 +0200 Goffi jp: jp asyncio port:
Tue, 13 Aug 2019 19:08:41 +0200 Goffi Python 3 port:
Thu, 11 Jul 2019 09:21:10 +0200 Goffi frontends (xmlui): fixed crash when CURRENT_LABEL is None:
Wed, 27 Mar 2019 21:15:25 +0100 Goffi core: minor style improvments