mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-26 18:22:09 +02:00
Code Issues Packages Projects Releases Wiki Activity

Allow more chars in visual_window_select_characters

Browse Source 
Fixes #6554
This commit is contained in:
Kovid Goyal
2023-08-16 20:38:10 +05:30
parent 67bf3eda5a
commit c49d71f85b
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/options/definition.py
View File

@@ -1093,10 +1093,10 @@ does not currently work on Wayland.
opt('visual_window_select_characters', defval=string.digits[1:] + '0' + string.ascii_uppercase,
option_type='visual_window_select_characters',
long_text='''
long_text=r'''
The list of characters for visual window selection. For example, for selecting a
window to focus on with :sc:`focus_visible_window`. The value should be a series
of unique numbers or alphabets, case insensitive, from the set :code:`[0-9A-Z]`.
of unique numbers or alphabets, case insensitive, from the set :code:`0-9A-Z\`-=[];',./\\`.
Specify your preference as a string of characters.
'''
)

2
kitty/options/utils.py
View File

@@ -615,7 +615,7 @@ def resize_debounce_time(x: str) -> Tuple[float, float]:
def visual_window_select_characters(x: str) -> str:
import string
valid_characters = string.digits + string.ascii_uppercase
valid_characters = string.digits + string.ascii_uppercase + "-=[]\\;',./`"
ans = x.upper()
ans_chars = set(ans)
if not ans_chars.issubset(set(valid_characters)):