src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py

branch
eric7
changeset 10279
e6e270b705c2
parent 10257
904c71a0e37f
child 10428
a071d4065202

eric ide

mercurial