Update app.py
Browse files
app.py
CHANGED
@@ -909,8 +909,6 @@ def FileSidebar():
|
|
909 |
if next_action=='search':
|
910 |
filesearch = PromptPrefix + file_contents
|
911 |
st.markdown(filesearch)
|
912 |
-
#search_glossary(filesearch)
|
913 |
-
|
914 |
process_text(filesearch)
|
915 |
|
916 |
if next_action=='md':
|
@@ -1572,8 +1570,12 @@ try:
|
|
1572 |
query_params = st.query_params
|
1573 |
query = (query_params.get('q') or query_params.get('query') or [''])
|
1574 |
if len(query) > 1:
|
1575 |
-
result = search_arxiv(query)
|
1576 |
#result2 = search_glossary(result)
|
|
|
|
|
|
|
|
|
1577 |
except:
|
1578 |
st.markdown(' ')
|
1579 |
|
|
|
909 |
if next_action=='search':
|
910 |
filesearch = PromptPrefix + file_contents
|
911 |
st.markdown(filesearch)
|
|
|
|
|
912 |
process_text(filesearch)
|
913 |
|
914 |
if next_action=='md':
|
|
|
1570 |
query_params = st.query_params
|
1571 |
query = (query_params.get('q') or query_params.get('query') or [''])
|
1572 |
if len(query) > 1:
|
1573 |
+
#result = search_arxiv(query)
|
1574 |
#result2 = search_glossary(result)
|
1575 |
+
|
1576 |
+
filesearch = PromptPrefix + query
|
1577 |
+
st.markdown(filesearch)
|
1578 |
+
process_text(filesearch)
|
1579 |
except:
|
1580 |
st.markdown(' ')
|
1581 |
|