diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-13 12:27:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-13 12:27:53 +0200 |
| commit | b69143023f9d2e50feb063460be8ee0784945530 (patch) | |
| tree | dca35f92e6229d56add09166aa0dd97bf6d7a389 /thirdparty/recastnavigation | |
| parent | 8cbd0902494707adeb41566b03ab7bc31921ae12 (diff) | |
| parent | 24f39b08c76593342866923ea0715eea809d08be (diff) | |
Merge pull request #20680 from Calinou/text-editor-faster-caret-blink
Make the default text editor caret blink speed faster
Diffstat (limited to 'thirdparty/recastnavigation')
0 files changed, 0 insertions, 0 deletions