diff options
author | Christian Duerr <chrisduerr@users.noreply.github.com> | 2018-11-01 17:23:49 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-01 17:23:49 +0000 |
commit | a7d95540384c0b37e75a4bedb0bff688fee7dcf1 (patch) | |
tree | 8f019477e5d27efbbff9872d3804c05882142eef /alacritty-completions.fish | |
parent | f0579345ea2fbe4c091b9df2f4725c22395a5b72 (diff) | |
download | alacritty-a7d95540384c0b37e75a4bedb0bff688fee7dcf1.tar.gz alacritty-a7d95540384c0b37e75a4bedb0bff688fee7dcf1.zip |
Rework cursor configuration
There are a couple of cursor-related options in the Alacritty config
file now, however they aren't grouped together in any way.
To resolve this a new `cursor` field has been added where all cursor
configuration options (besides colors) have been moved.
The `custom_cursor_colors` option has also been removed, since it's not
necessary anymore. Simply making the `colors.cursor.*` fields optional,
allows overriding the cursor colors whenever one of them is present.
Like that the user doesn't have to think about a relation between two
separate configuration options.
This PR initially put the `hide_cursor_when_typing` variable under
`cursor.hide_when_typing`. However this field is completely unrelated to
the cursor, but instead relates to the mouse cursor.
Since the word `cursor` is already used for the active cell in the grid
of a terminal emulator, all occurences of the word `cursor` when talking
about the mouse have been replaced with the word `mouse`.
The configuration option has also been moved to
`mouse.hide_when_typing`, to make it clear what this option is changing.
This fixes #1080.
Diffstat (limited to 'alacritty-completions.fish')
0 files changed, 0 insertions, 0 deletions