src/eric7/Preferences/ConfigurationPages/EditorFilePage.py

branch
server
changeset 10531
3308e8349e4c
parent 10496
f9925e08dbce
child 10683
779cda568acb

eric ide

mercurial