src/eric7/Preferences/ConfigurationPages/Ui_InterfacePage.py

branch
server
changeset 10766
d35d6f96c24b
parent 10745
2921faddeaec
child 10949
2057b1b198a5

eric ide

mercurial