Update app.py

app.py

@@ -30,10 +30,10 @@ def process_results(results, query):
     results_html = ""
     for result in results:
         text_html = result["text"]
-        if query.startswith('"') and query.endswith('"'):
-            text_html = mark_tokens_bold(text_html, query[1:-1].split(" "))
-        else:
-            text_html = mark_tokens_bold(text_html, query.split(" "))
+        # if query.startswith('"') and query.endswith('"'):
+        #     text_html = mark_tokens_bold(text_html, query[1:-1].split(" "))
+        # else:
+        #     text_html = mark_tokens_bold(text_html, query.split(" "))
         repository = result["repository"]
         path = result["path"]
         license = result["license"]