diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2014-10-03 14:30:37 +0200 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2014-10-03 15:57:00 +0200 |
| commit | 2ea8d19b210b62a02ebcb38f035e074dcba66426 (patch) | |
| tree | e6b11594ddd7ecb6870ade87cf5e4e2f7d728aed /.gitignore | |
| parent | 884964a9639649422d3613500cdacea48a4ccc91 (diff) | |
terminal/screen: mark cursor dirty on enabled/disable
If we hide or show the cursor, we change visual attributes and have to
mark the underlying cell as dirty. Otherwise, the terminal will not be
redrawn.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions