eric6/Preferences/ConfigurationPages/EditorGeneralPage.ui

changeset 7786
dd4a55fedea9
parent 7757
1f9f35f9be6d
child 7998
cd41c844862f
equal deleted inserted replaced
7785:9978016560ec 7786:dd4a55fedea9

eric ide

mercurial