diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-03-23 11:28:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-23 11:28:48 +0100 |
| commit | f16652d1a2f94432becea6a8d393a4f99d62fb7b (patch) | |
| tree | 62a3bb6584e3a49a96d22b733508b93b7f74d6d5 /core/pool_allocator.cpp | |
| parent | 699325f9a13f51ca2a592d14c4926942ca9ed901 (diff) | |
| parent | 8939f44f6ac5594348e4d671d121680822bd8dc8 (diff) | |
Merge pull request #17496 from robfram/fix-f3-change-editor-and-find
Fix pressing `F3` do both changing to script editor AND find next text
Diffstat (limited to 'core/pool_allocator.cpp')
0 files changed, 0 insertions, 0 deletions