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 /thirdparty/libogg | |
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 'thirdparty/libogg')
0 files changed, 0 insertions, 0 deletions