src/eric7/Preferences/ConfigurationPages/EditorPropertiesPage.ui

branch
eric7
changeset 11270
0e220c26e60e
parent 10135
36839e2c6945
equal deleted inserted replaced
11269:ce3bcd9df3b3 11270:0e220c26e60e

eric ide

mercurial