exemples/svghmi_jumps/beremiz.xml
author Edouard Tisserant
Thu, 17 Nov 2022 11:08:36 +0100
changeset 3682 c613afdab571
parent 3601 26a2808038fd
permissions -rw-r--r--
IDE: Optimization of modification events processing in text editors.

Too many modifications types where registered, and then too many events were fired.
Also, in case of uninterrupted sequence of events, updates to the model is deferred to the end of that sequence (wx.Callafter).
3601
26a2808038fd SVGHMI: add an exemple that demonstrate use of Jump widget in different use cases.
Edouard Tisserant
parents:
diff changeset
     1
<?xml version='1.0' encoding='utf-8'?>
26a2808038fd SVGHMI: add an exemple that demonstrate use of Jump widget in different use cases.
Edouard Tisserant
parents:
diff changeset
     2
<BeremizRoot xmlns:xsd="http://www.w3.org/2001/XMLSchema" URI_location="LOCAL://">
26a2808038fd SVGHMI: add an exemple that demonstrate use of Jump widget in different use cases.
Edouard Tisserant
parents:
diff changeset
     3
  <TargetType/>
26a2808038fd SVGHMI: add an exemple that demonstrate use of Jump widget in different use cases.
Edouard Tisserant
parents:
diff changeset
     4
  <Libraries Enable_SVGHMI_Library="true"/>
26a2808038fd SVGHMI: add an exemple that demonstrate use of Jump widget in different use cases.
Edouard Tisserant
parents:
diff changeset
     5
</BeremizRoot>