log sat_frontends/jp/xmlui_manager.py @ 3375:b41ed8d9d40b

age author description
Fri, 06 Mar 2020 18:51:04 +0100 Goffi jp (xmlui): added missing `disp` method in XMLUIPanel
Wed, 29 Jan 2020 10:07:00 +0100 Goffi fixed shebangs
Wed, 29 Jan 2020 09:50:54 +0100 Goffi dates update
Fri, 20 Dec 2019 12:28:04 +0100 Goffi jp (xmlui_manager): use level for notes:
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:
Fri, 14 Jun 2019 12:49:45 +0200 Goffi jp (xmlui): check root read_only status in addition to widget one
Fri, 14 Jun 2019 12:49:44 +0200 Goffi jp (xmlui): fixed encoding for raw_input in StringWidget
Fri, 03 May 2019 20:49:27 +0200 Goffi jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Sat, 19 Jan 2019 11:39:02 +0100 Goffi frontends, jp, templates: added XHTMLBox widget:
Sat, 12 Jan 2019 12:25:31 +0100 Goffi date update
Fri, 11 Jan 2019 11:13:15 +0100 Goffi misc: replaced all "dummy" by the more conventional and readable "__" ("_" being used for gettext)