src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui

branch
eric7
changeset 10482
72d9b5ea39b4
parent 10257
904c71a0e37f
child 10832
479cf39ac9cb
equal deleted inserted replaced
10481:9aea3575bd16 10482:72d9b5ea39b4

eric ide

mercurial