Preferences/ConfigurationPages/InterfacePage.py

changeset 4554
f3428ddd577c
parent 4095
c78cdc1a3c14
child 4577
e79a139aacc4
child 4632
ca310db386ed
equal deleted inserted replaced
4553:a6b2acd1a355 4554:f3428ddd577c

eric ide

mercurial