util/__init__.py
author Edouard Tisserant
Wed, 25 May 2022 09:55:36 +0200
changeset 3487 efa45e7cb04b
parent 742 41a4a560406c
permissions -rw-r--r--
SVGHMI: fix dropdown widget in case it is used as language selection widget

global i18n definitions changed but widget wasn't updated accordingly.