diff sat_frontends/jp/xmlui_manager.py @ 3233:8770397f8f82

tools (xl_tools): fixed handling of list options labels
author Goffi <goffi@goffi.org>
date Fri, 27 Mar 2020 09:50:42 +0100
parents 89d97776fd34
children 2f0be2b7de68
line wrap: on
line diff