src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py

branch
eric7
changeset 10837
40cdaa4a847d
parent 10832
479cf39ac9cb
child 10849
78d338b6d89f

eric ide

mercurial