diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-03-17 11:01:18 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-03-17 11:01:18 +0100 |
| commit | 63aafb3f4891a66b06e65ba1f47d958fcd92ed7f (patch) | |
| tree | ba4e5b98bc4e243f64bd0992e088372fb172e99b /platform | |
| parent | 5b67305ebb466cea3b767d4abd2f360ebadf3414 (diff) | |
| parent | b0488cacf27cb98c4a0dd58661c83262236e18a0 (diff) | |
Merge pull request #4076 from Paulb23/word_highlighting
Highlight all occurrences of selected word
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions