src/eric7/Preferences/ConfigurationPages/Ui_EditorGeneralPage.py

branch
eric7
changeset 11257
54a66ef9c9db
parent 10849
78d338b6d89f
equal deleted inserted replaced
11256:b19a0278b8bf 11257:54a66ef9c9db

eric ide

mercurial