Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -30,7 +30,10 @@ def process_results(results, query):
|
|
30 |
results_html = ""
|
31 |
for result in results:
|
32 |
text_html = result["text"]
|
33 |
-
|
|
|
|
|
|
|
34 |
repository = result['repository']
|
35 |
license = result["license"]
|
36 |
language = result["language"]
|
|
|
30 |
results_html = ""
|
31 |
for result in results:
|
32 |
text_html = result["text"]
|
33 |
+
if query.startswith('"') and query.endswith('"'):
|
34 |
+
text_html = mark_tokens_bold(text_html, query[1:-1].split(" "))
|
35 |
+
else:
|
36 |
+
text_html = mark_tokens_bold(text_html, query.split(" "))
|
37 |
repository = result['repository']
|
38 |
license = result["license"]
|
39 |
language = result["language"]
|