mirror of
https://github.com/sourcebot-dev/sourcebot.git
synced 2025-12-15 05:45:20 +00:00
fix (#133)
This commit is contained in:
parent
fe3ea19d6d
commit
415535e794
1 changed files with 1 additions and 1 deletions
|
|
@ -47,7 +47,7 @@ export const zoekt = () => {
|
||||||
|
|
||||||
// Check for prefixes first
|
// Check for prefixes first
|
||||||
// If these match, we return 'keyword'
|
// If these match, we return 'keyword'
|
||||||
if (stream.match(/(archived:|branch:|b:|c:|case:|content:|f:|file:|fork:|public:|r:|repo:|regex:|lang:|sym:|t:|type:)/)) {
|
if (stream.match(/(archived:|branch:|b:|rev:|c:|case:|content:|f:|file:|fork:|public:|r:|repo:|regex:|lang:|sym:|t:|type:)/)) {
|
||||||
return t.keyword.toString();
|
return t.keyword.toString();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue