targets/Linux/XSD
author Edouard Tisserant
Thu, 11 Apr 2019 11:26:47 +0200
changeset 2591 5f685bcd3ad6
parent 204 f572ab819769
child 3732 929276eea252
permissions -rw-r--r--
Fixed refresh problem following 9c5f835b031e, 9622418ac28c, c67488bd8134 : force redraw only through EVT_PAINT event and use wxPaintDC, as described in wx documentation

                  <xsd:element name="Linux">
                    <xsd:complexType>
                      %(toolchain_gcc)s
                    </xsd:complexType>
                  </xsd:element>