eric6/Preferences/ConfigurationPages/EditorTypingPage.py

branch
micropython
changeset 7144
de779a22396a
parent 6997
24eabcea4c59
child 7229
53054eb5b15a

eric ide

mercurial