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