Preferences/ConfigurationPages/EditorStylesPage.ui

changeset 5828
c8deff89c20c
parent 5733
aed3e558407f
child 6111
d38b38117d83
equal deleted inserted replaced
5827:f345675183e7 5828:c8deff89c20c

eric ide

mercurial