eric6/Preferences/ConfigurationPages/EditorTypingPage.py

changeset 7317
cada9fd4ad3a
parent 7281
8087ef6df2e4
child 7360
9190402e4505
equal deleted inserted replaced
7316:abe6dd39e4ee 7317:cada9fd4ad3a

eric ide

mercurial