images/brz.ico
author Edouard Tisserant
Thu, 22 Sep 2022 09:42:38 +0200
changeset 3624 770c613c424f
parent 2237 c5104f88a21f
child 3568 494c90b895ad
permissions -rw-r--r--
SVGHMI: remove intermediate "updates" Map and apply_updates()

It was used initially to decouple DOM updates from reception of data through
websocket, but now since all widget SHOULD use animate() to modify DOM, and
dispatch() only change internal state, apply_update is unnecessary.
2237
c5104f88a21f Add 256x256 and 64x64 Beremiz icons
Andrey Skvortsov <andrej.skvortzov@gmail.com>
parents: 533
diff changeset
     1
(binary:image/vnd.microsoft.icon)