Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
|
@@ -20,7 +20,7 @@ def mark_tokens_bold(text, query):
|
|
| 20 |
for token in tokens:
|
| 21 |
pattern = re.escape(token) #r"\b" + re.escape(token) + r"\b"
|
| 22 |
text = re.sub(pattern, "<span style='color: #e6b800;'><b>" + token + "</b></span>", text)
|
| 23 |
-
|
| 24 |
|
| 25 |
|
| 26 |
def process_results(results, query):
|
|
|
|
| 20 |
for token in tokens:
|
| 21 |
pattern = re.escape(token) #r"\b" + re.escape(token) + r"\b"
|
| 22 |
text = re.sub(pattern, "<span style='color: #e6b800;'><b>" + token + "</b></span>", text)
|
| 23 |
+
return text
|
| 24 |
|
| 25 |
|
| 26 |
def process_results(results, query):
|