Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui

changeset 1745
74c05a1ca2bc
parent 0
de9c2efb9d02
child 2763
e4794166ad70
equal deleted inserted replaced
1743:4f9afcd8eb9d 1745:74c05a1ca2bc

eric ide

mercurial