KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Allow choosing a match by index in the search by name panel as well

Browse Source
This commit is contained in:
Kovid Goyal 2018-02-13 11:25:45 +05:30
parent b0820f6e13
commit 4bbf5c0bc9
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 20 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
kittens/unicode_input/main.py
View File

@ -49,8 +49,7 @@ def name(cp):
@lru_cache(maxsize=256)
def codepoints_matching_search(text):
parts = text.lower().split()
def codepoints_matching_search(parts):
ans = []
if parts and parts[0]:
codepoints = points_for_word(parts[0])
@ -238,6 +237,14 @@ class Table:
self.layout_dirty = True
def is_index(w):
try:
int(w.lstrip(INDEX_CHAR), 16)
return True
except Exception:
return False
class UnicodeInput(Handler):
def __init__(self, cached_values):
@ -266,7 +273,17 @@ class UnicodeInput(Handler):
elif self.mode is NAME:
q = self.mode, self.current_input
if q != self.last_updated_code_point_at:
codepoints = codepoints_matching_search(self.current_input)
words = self.current_input.split()
words = [w for w in words if w != INDEX_CHAR]
index_words = [i for i, w in enumerate(words) if i > 0 and is_index(w)]
if index_words:
index_word = words[index_words[0]]
words = words[:index_words[0]]
codepoints = codepoints_matching_search(tuple(words))
if index_words:
index_word = int(index_word.lstrip(INDEX_CHAR), 16)
if index_word < len(codepoints):
codepoints = [codepoints[index_word]]
if q != self.last_updated_code_point_at:
self.last_updated_code_point_at = q
self.table.set_codepoints(codepoints, self.mode)