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.yml | |
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.yml')
-rw-r--r-- | alacritty.yml | 42 |
1 files changed, 20 insertions, 22 deletions
diff --git a/alacritty.yml b/alacritty.yml index b57de3d6..29f6f54b 100644 --- a/alacritty.yml +++ b/alacritty.yml @@ -127,11 +127,6 @@ font: # Display the time it takes to redraw each frame. render_timer: false -# Use custom cursor colors. If `true`, the `colors.cursor.foreground` and -# `colors.cursor.background` colors will be used to display the cursor. -# Otherwise the cell colors are inverted for the cursor. -custom_cursor_colors: false - # If `true`, bold text is drawn using the bright color variants. draw_bold_text_with_bright_colors: true @@ -152,10 +147,11 @@ colors: # Cursor colors # - # These will only be used when the `custom_cursor_colors` field is set to `true`. - cursor: - text: '0x000000' - cursor: '0xffffff' + # Colors which should be used to draw the terminal cursor. If these are unset, + # the cursor color will be the inverse of the cell color. + #cursor: + # text: '0x000000' + # cursor: '0xffffff' # Normal colors normal: @@ -258,6 +254,9 @@ mouse: double_click: { threshold: 300 } triple_click: { threshold: 300 } + # If this is `true`, the cursor is temporarily hidden when typing. + hide_when_typing: false + url: # URL launcher # @@ -281,19 +280,18 @@ selection: dynamic_title: true -hide_cursor_when_typing: false - -# Cursor style -# -# Values for 'cursor_style': -# - Block -# - Underline -# - Beam -cursor_style: Block - -# If this is `true`, the cursor will be rendered as a hollow box when the -# window is not focused. -unfocused_hollow_cursor: true +cursor: + # Cursor style + # + # Values for 'style': + # - ▇ Block + # - _ Underline + # - | Beam + style: Block + + # If this is `true`, the cursor will be rendered as a hollow box when the + # window is not focused. + unfocused_hollow: true # Live config reload (changes require restart) live_config_reload: true |