summaryrefslogtreecommitdiff
path: root/src/input.rs
diff options
context:
space:
mode:
authorChristian Duerr <chrisduerr@users.noreply.github.com>2018-11-01 17:23:49 +0000
committerGitHub <noreply@github.com>2018-11-01 17:23:49 +0000
commita7d95540384c0b37e75a4bedb0bff688fee7dcf1 (patch)
tree8f019477e5d27efbbff9872d3804c05882142eef /src/input.rs
parentf0579345ea2fbe4c091b9df2f4725c22395a5b72 (diff)
downloadalacritty-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 'src/input.rs')
-rw-r--r--src/input.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/input.rs b/src/input.rs
index b705fd19..9532dc4d 100644
--- a/src/input.rs
+++ b/src/input.rs
@@ -911,6 +911,7 @@ mod tests {
triple_click: ClickHandler {
threshold: Duration::from_millis(1000),
},
+ hide_when_typing: false,
faux_scrollback_lines: None,
url: Default::default(),
},