Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 3670
f0cb7579c0b4
parent 3647
fef91a1eb27b
child 3730
dccee91e9d8a
equal deleted inserted replaced
3669:ac84ac3c0f05 3670:f0cb7579c0b4

eric ide

mercurial