diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-30 18:31:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-30 18:31:53 +0200 |
| commit | 5f3dd5fdc74bc48b03b6db0a3c581f37342f9f98 (patch) | |
| tree | 03ff8d4423c9a7fc0262cb2431046dd5bb068903 /platform/android/java/src | |
| parent | 537b1fbbba1d19565fbc00112c89cbcfdaf2c684 (diff) | |
| parent | 1001c7fddee91b6c1c64acdf548d6d93ddbe01ec (diff) | |
Merge pull request #28481 from iwek7/issue28446/highlighingOfWhitespaces
Disable higlighting all occurences of selection in editor if it contains only whitespaces
Diffstat (limited to 'platform/android/java/src')
0 files changed, 0 insertions, 0 deletions