diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-06-13 15:47:16 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-13 15:47:16 -0300 |
| commit | 3cee648144b25a7d0ab1daa5ce09716958148f10 (patch) | |
| tree | df4e83b20236bfb4ba1a9a6506b6577b49b829a0 /tools/editor/plugins | |
| parent | dca382647ee2734ff856f0aa50df12f86509c4e8 (diff) | |
| parent | 9a2d5fa1e19acdeaaf9fef253571677868ad3346 (diff) | |
Merge pull request #5160 from neikeq/pr-issue-5136
FindReplaceBar: Fix search bug when text is selected
Diffstat (limited to 'tools/editor/plugins')
0 files changed, 0 insertions, 0 deletions