E5Gui/E5TabWidget.py

branch
5_2_x
changeset 1750
92bc629ca552
parent 1509
c0b5e693b0eb
child 1673
06eeffc8c97d
child 2303
0ed4ed026c16

eric ide

mercurial