| commit | a987bb5fce76e47779a5b4b84c8aca9a9ed9fc38 | |
| author | David Aguilar <davvid@gmail.com> | |
| Mon, 13 Feb 2023 07:33:52 +0000 (12 23:33 -0800) | ||
| committer | David Aguilar <davvid@gmail.com> | |
| Mon, 13 Feb 2023 07:40:56 +0000 (12 23:40 -0800) | ||
| tree | cfa2c3526f9d658baf20b90d636064b59cdef3ff | treesnapshot (tar.gz zip) |
| parent | e1991aec7d0ef2c572dfe72e087b415a32f90ef7 | commitdiff |
diff: use a block cursor for better usability
The block cursor is a better cursor for the diff editor because it is
easier to see. #889 got rid of the block cursor, but that issue was
mostly focused on the Commit Message Editor, not the diff editor.
The diff editor is more cursor-centric, and its contents are
read-only, so the use of a more visible cursor is a better default.
Provide "git config --global cola.blockcursor false" and a
corresponding Preferences setting to disable the block cursor
in case there are users that prefer the original cursor style.
Related-to: #889
Signed-off-by: David Aguilar <davvid@gmail.com>
The block cursor is a better cursor for the diff editor because it is
easier to see. #889 got rid of the block cursor, but that issue was
mostly focused on the Commit Message Editor, not the diff editor.
The diff editor is more cursor-centric, and its contents are
read-only, so the use of a more visible cursor is a better default.
Provide "git config --global cola.blockcursor false" and a
corresponding Preferences setting to disable the block cursor
in case there are users that prefer the original cursor style.
Related-to: #889
Signed-off-by: David Aguilar <davvid@gmail.com>