targets/Xenomai/XSD
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Mon, 30 Jul 2018 19:28:39 +0300
changeset 2256 5927710b5610
parent 615 72bc3e53a1fa
permissions -rwxr-xr-x
Fix non-usable toolbar on wxPython with GTK3+

On GNU/Linux if wxPython uses wxWidget with GTK3+ backend (this is
what most modern distributions do), then size of EditorToolBar was
always to store only one button.
This is because GetBestSize() is updated only after pane is shown and
updated.
The code does work correctly on python-wxgtk3.0 (gtk2 backend) on
GNU/Linux and with wxpython 2.8 on Windows.
203
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     1
321
5a4e6278a18b Adding support for Xenomai targets.
lbessard
parents: 204
diff changeset
     2
                  <xsd:element name="Xenomai">
203
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     3
                    <xsd:complexType>
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     4
                      %(toolchain_gcc)s
615
72bc3e53a1fa Xenomai Fix : build
Edouard Tisserant
parents: 321
diff changeset
     5
                      <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/>
203
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     6
                    </xsd:complexType>
615
72bc3e53a1fa Xenomai Fix : build
Edouard Tisserant
parents: 321
diff changeset
     7
                  </xsd:element>