E5Gui/E5TabWidget.py

branch
6_0_x
changeset 4310
493dda042b16
parent 4022
f5f42921717e
child 4342
d8ccfca6d50e
equal deleted inserted replaced
4308:3f9ea1a38560 4310:493dda042b16

eric ide

mercurial