Wed, 22 Nov 2023 09:34:32 +0100Runtime web settings: fix punctuation and update CSS again
Edouard Tisserant [Wed, 22 Nov 2023 09:34:32 +0100] rev 3858
Runtime web settings: fix punctuation and update CSS again

Mon, 20 Nov 2023 11:52:27 +0100Update default CSS for Runtime WebSettings.
Edouard Tisserant [Mon, 20 Nov 2023 11:52:27 +0100] rev 3857
Update default CSS for Runtime WebSettings.

Mon, 20 Nov 2023 11:51:34 +0100Runtime WebSetings for extensions are now served on individual URLs to prevent cluttering.
Edouard Tisserant [Mon, 20 Nov 2023 11:51:34 +0100] rev 3856
Runtime WebSetings for extensions are now served on individual URLs to prevent cluttering.

Thu, 09 Nov 2023 11:20:39 +0100Runtime web settings: allow customization of version string by extensions
Edouard Tisserant [Thu, 09 Nov 2023 11:20:39 +0100] rev 3855
Runtime web settings: allow customization of version string by extensions

Wed, 04 Oct 2023 16:24:00 +0200Merge python3
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 04 Oct 2023 16:24:00 +0200] rev 3854
Merge

Tue, 03 Oct 2023 21:33:13 +0200Tests: more OCR tuning
Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 03 Oct 2023 21:33:13 +0200] rev 3853
Tests: more OCR tuning

Mon, 02 Oct 2023 16:21:54 +0200Tests: better font for OCR in svghmi_basic
Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 02 Oct 2023 16:21:54 +0200] rev 3852
Tests: better font for OCR in svghmi_basic

Mon, 02 Oct 2023 14:25:02 +0200Runtime: fix non-interleaved worker loop
Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 02 Oct 2023 14:25:02 +0200] rev 3851
Runtime: fix non-interleaved worker loop