src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui

branch
eric7
changeset 9931
e6e01a10c3a1
parent 9567
0c491346bb8e
child 10135
36839e2c6945

eric ide

mercurial