SVGHMI: provide request_animate() to Widget authors so that they can register redraw code when events lead to redraw. Widget member animate() is called when it is time to update DOM.

     1

<?xml version='1.0' encoding='utf-8'?>

     2

<BeremizRoot xmlns:xsd="http://www.w3.org/2001/XMLSchema" URI_location="LOCAL://">

     3

  <TargetType>

     4

    <Linux/>

     5

  </TargetType>

     6

</BeremizRoot>