Documentation/Source/eric5.Preferences.ConfigurationPages.EditorGeneralPage.html

changeset 2038
72557ef75de1
parent 1229
a8207dc73672
child 2367
78f6c8193d37
equal deleted inserted replaced
2037:7a3470ae170e 2038:72557ef75de1

eric ide

mercurial