Wed, 25 May 2022 09:55:36 +0200SVGHMI: fix dropdown widget in case it is used as language selection widget
Edouard Tisserant [Wed, 25 May 2022 09:55:36 +0200] rev 3487
SVGHMI: fix dropdown widget in case it is used as language selection widget

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

Wed, 25 May 2022 09:52:50 +0200SVGHMI: prevent exception with date/time formating in sprintf.js if lang wasn't already set.
Edouard Tisserant [Wed, 25 May 2022 09:52:50 +0200] rev 3486
SVGHMI: prevent exception with date/time formating in sprintf.js if lang wasn't already set.

Wed, 25 May 2022 09:51:22 +0200SVGHMI: Add forEach to local copy of pythonic.js
Edouard Tisserant [Wed, 25 May 2022 09:51:22 +0200] rev 3485
SVGHMI: Add forEach to local copy of pythonic.js