diff sat/plugins/plugin_exp_list_of_interest.py @ 2939:18a98a541f7a

jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
author Goffi <goffi@goffi.org>
date Fri, 03 May 2019 20:49:27 +0200
parents 782612c7854b
children ef554aca3eb1
line wrap: on
line diff