eric6/Preferences/ConfigurationPages/InterfacePage.py

changeset 7537
4e2d6b12f67c
parent 7360
9190402e4505
child 7757
1f9f35f9be6d
equal deleted inserted replaced
7536:861e46f99d65 7537:4e2d6b12f67c

eric ide

mercurial