log sat_frontends/jp/xmlui_manager.py @ 3558:d8581c83fef3

age author description
Fri, 19 Mar 2021 15:45:14 +0100 Goffi date update
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