• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

diff: eric6/Preferences/ConfigurationPages/EditorGeneralPage.ui

eric6/Preferences/ConfigurationPages/EditorGeneralPage.ui

changeset 7786

dd4a55fedea9

parent 7757

1f9f35f9be6d

child 7998

cd41c844862f