E5Gui/E5TabWidget.py

branch
5_1_x
changeset 1024
e10ef1961fe2
parent 791
9ec2ac20e54e
child 945
8cd4d08fa9f6
child 1417
d5dac73181be
equal deleted inserted replaced
1023:6f214bf22fbf 1024:e10ef1961fe2

eric ide

mercurial