mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-24 01:08:10 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix parsing of quoted words

Browse Source
This commit is contained in:
Kovid Goyal
2022-04-12 19:31:56 +05:30
parent 8f92c594f2
commit 93a7b220c9
2 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
kitty/search_query_parser.py
View File

@@ -223,13 +223,15 @@ class Parser:
return self.base_token()
def base_token(self) -> SearchTreeNode:
tt = self.token(advance=True)
assert tt is not None
if self.token_type() is TokenType.QUOTED_WORD:
tt = self.token(advance=True)
assert tt is not None
if self.allow_no_location:
return TokenNode('all', tt)
raise ParseException(f'No location specified before {tt}')
tt = self.token(advance=True)
assert tt is not None
words = tt.split(':')
# The complexity here comes from having colon-separated search
# values. That forces us to check that the first "word" in a colon-