| Thu, 12 Nov 2020 14:53:16 +0100 |
Goffi |
jp: replace `no_lf` argument by `end` in `disp` (same as in `print`)
|
| 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)
|
| Wed, 02 Jan 2019 18:50:47 +0100 |
Goffi |
jp (xmlui): JidWidget + small improvments:
|
| Fri, 31 Aug 2018 16:03:12 +0200 |
Goffi |
frontends (xmlui): class_map is now an arg of create function:
|
