diff options
| author | Sonu Bardai <67749330+SonuBardai@users.noreply.github.com> | 2023-06-29 18:47:54 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-29 17:17:54 +0400 |
| commit | df00be25c6abde56c1ac65a911977d0bdc6ae93a (patch) | |
| tree | abe9246694047c2c96cf0b0e9e256ef20ad83c2f /extra | |
| parent | 9fcdb059bf772303e66607ccbf6f1fd6183743e9 (diff) | |
| download | r-alacritty-df00be25c6abde56c1ac65a911977d0bdc6ae93a.tar.gz r-alacritty-df00be25c6abde56c1ac65a911977d0bdc6ae93a.tar.bz2 r-alacritty-df00be25c6abde56c1ac65a911977d0bdc6ae93a.zip | |
Remove mouse double_click/triple_click options
Fixes #6962.
Diffstat (limited to 'extra')
| -rw-r--r-- | extra/man/alacritty.5.scd | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/extra/man/alacritty.5.scd b/extra/man/alacritty.5.scd index 5aecd510..10252611 100644 --- a/extra/man/alacritty.5.scd +++ b/extra/man/alacritty.5.scd @@ -538,18 +538,6 @@ Windows: _"powershell"_ This section documents the *[mouse]* table of the configuration file. -*double_click* { threshold = <integer> } - - Set maximum time between double-clicks in milliseconds. - - Default: _300_ - -*triple_click* { threshold = <integer> } - - Set maximum time between triple-clicks in milliseconds. - - Default: _300_ - *hide_when_typing* <boolean> When this is _true_, the cursor is temporarily hidden when typing. |