diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-05-24 17:09:46 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-05-24 17:09:46 +0200 |
| commit | 15e9f66a1aca28cda51828a8ab409b905ae6def5 (patch) | |
| tree | 235b659eab80f388e10294401c454c035d06ffa2 /tools | |
| parent | f7b5fdc923d4064c0c5346a757df098ea7e0cc1d (diff) | |
| parent | 6dd538a7ae40333ece7fca8f8786228204156416 (diff) | |
Merge pull request #4798 from Paulb23/caret_color_not_setting
Fixed caret colour not changing though properties
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions