diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-08 15:51:06 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-06-08 15:51:06 +0200 |
| commit | aa200ef735cb2198c859e091f69599308ac09795 (patch) | |
| tree | 6bca5de15840926f41ecf2165ac964be33449652 /tools | |
| parent | 1f2ad872cc6ba88ee9242cf29093ff06b90e8d96 (diff) | |
| parent | e260e3872cb08c12c46981a6c8b7d2115a6a405c (diff) | |
Merge pull request #5107 from Paulb23/caret_blink_update_issue_5100
Caret blink no longer updates when hidden, issue 5100
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions