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:
|
Wed, 27 Jun 2018 20:14:46 +0200 |
Goffi |
code style reformatting using black
|
Mon, 02 Apr 2018 19:44:50 +0200 |
Goffi |
core, setup: huge cleaning:
base
frontends/src/jp/xmlui_manager.py@1e16d5ea473a
|