Preferences/ConfigurationPages/EditorPropertiesPage.ui

branch
QtWebEngine
changeset 4916
80fdd3e3d1c4
parent 4206
8f0d697e6384
child 5420
53ca6ddb4acf

eric ide

mercurial