diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-08 12:25:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-08 12:25:28 +0200 |
| commit | 9d4623f99425ad71f7057d1d2c8a8f01d78df965 (patch) | |
| tree | f6c03aea25dcd850b82777ae4ef3c30e6e2df775 /thirdparty/misc | |
| parent | 918de768a550b89da0d232f2040fa618bb10e25a (diff) | |
| parent | 8a1c5a839090a26e6c859c3f09ba1274540eff9d (diff) | |
Merge pull request #27716 from Calinou/script-editor-shift-find-previous
Find the previous match in script editor when pressing Shift + Enter
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions