diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-07 08:26:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-07 08:26:27 +0200 |
| commit | 74c7866bbac1d1f014b684cf2d2cdf8640e44275 (patch) | |
| tree | 50c91913ad59bfd3346cb2d257ded9b2c744b7fc /modules/mono/__init__.py | |
| parent | dfff210f6d3c3219718ec9ef2ae51582aac90415 (diff) | |
| parent | 724b9bc0ce91fdb55c80fc0de25365c94f960364 (diff) | |
Merge pull request #32594 from Calinou/project-editor-settings-search-shortcut
Focus the search box when pressing Ctrl+F in Project/Editor Settings
Diffstat (limited to 'modules/mono/__init__.py')
0 files changed, 0 insertions, 0 deletions