comparison: src/eric7/Preferences/ConfigurationPages/InterfacePage.py
src/eric7/Preferences/ConfigurationPages/InterfacePage.py
- branch
- eric7
- changeset 10279
- e6e270b705c2
- parent 10248
- 981456110843
- child 10373
- 093dcebe5ecb
equal
deleted
inserted
replaced