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/man/alacritty.5.scd | |
parent | 9fcdb059bf772303e66607ccbf6f1fd6183743e9 (diff) | |
download | alacritty-df00be25c6abde56c1ac65a911977d0bdc6ae93a.tar.gz alacritty-df00be25c6abde56c1ac65a911977d0bdc6ae93a.zip |
Remove mouse double_click/triple_click options
Fixes #6962.
Diffstat (limited to 'extra/man/alacritty.5.scd')
-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. |