E5Gui/E5TabWidget.py

branch
6_0_x
changeset 4310
493dda042b16
parent 4022
f5f42921717e
child 4342
d8ccfca6d50e

eric ide

mercurial