eric7/Preferences/ConfigurationPages/EditorPropertiesPage.py

branch
eric7
changeset 8512
cc82680dba7b
parent 8322
b422b4e77d19
child 8881
54e42bc2437a
equal deleted inserted replaced
8511:8046c6a443bd 8512:cc82680dba7b

eric ide

mercurial