src/eric7/Preferences/ConfigurationPages/EditorPropertiesPage.ui

branch
eric7
changeset 9496
05017f795c24
parent 9209
b99e7fd55fd3
child 10135
36839e2c6945

eric ide

mercurial