src/eric7/Preferences/ConfigurationPages/Ui_EditorGeneralPage.py

branch
eric7
changeset 11103
382e5c9a43f0
parent 10849
78d338b6d89f
equal deleted inserted replaced
11102:ceabb30155b8 11103:382e5c9a43f0

eric ide

mercurial