src/eric7/Preferences/ConfigurationPages/EditorPropertiesPage.py

branch
eric7
changeset 9984
e99fe0e9a1e3
parent 9653
e67609152c5e
child 10135
36839e2c6945

eric ide

mercurial