log sat_frontends/tools/xmlui.py @ 3346:4f1fcee83d36

age author description
2020-01-29 Goffi fixed shebangs
2020-01-29 Goffi dates update
2019-09-25 Goffi jp: jp asyncio port:
2019-08-13 Goffi Python 3 port:
2019-07-11 Goffi frontends (xmlui): fixed crash when CURRENT_LABEL is None:
2019-03-27 Goffi core: minor style improvments
2019-01-19 Goffi frontends, jp, templates: added XHTMLBox widget: