src/eric7/Preferences/ConfigurationPages/EditorCalltipsPage.ui

branch
eric7
changeset 10237
17ab17a3e6b3
parent 10135
36839e2c6945
equal deleted inserted replaced
10236:c270c9501f1c 10237:17ab17a3e6b3

eric ide

mercurial