eric6/Preferences/ConfigurationPages/EditorSearchPage.py

branch
micropython
changeset 7140
22f5fd76c10f
parent 6942
2602857055c5
child 7202
d2f2a1fe0129
equal deleted inserted replaced
7139:9bb36ec2d1b5 7140:22f5fd76c10f

eric ide

mercurial