src/eric7/Preferences/ConfigurationPages/EditorStylesPage.py

branch
eric7
changeset 10257
904c71a0e37f
parent 10135
36839e2c6945
child 10279
e6e270b705c2
equal deleted inserted replaced
10256:1b728f26d1ae 10257:904c71a0e37f

eric ide

mercurial