src/eric7/Preferences/ConfigurationPages/EditorPropertiesPage.py

branch
eric7
changeset 9958
a78b83d1062a
parent 9653
e67609152c5e
child 10135
36839e2c6945
equal deleted inserted replaced
9957:0457d754fc9a 9958:a78b83d1062a

eric ide

mercurial