targets/XSD_toolchain_gcc
author Edouard Tisserant
Thu, 22 Sep 2022 09:42:38 +0200
changeset 3624 770c613c424f
parent 1478 69fe0b81e951
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.

          <xsd:attribute name="Compiler" type="xsd:string" use="optional" default="gcc"/>
          <xsd:attribute name="CFLAGS" type="xsd:string" use="optional" default=""/>
          <xsd:attribute name="Linker" type="xsd:string" use="optional" default="gcc"/>
          <xsd:attribute name="LDFLAGS" type="xsd:string" use="optional" default=""/>