Spaces:
Running
on
Zero
Running
on
Zero
Commit
·
cdb1b8c
1
Parent(s):
3a20953
Purge dead gradio code
Browse files
app.py
CHANGED
@@ -11,8 +11,6 @@ import json
|
|
11 |
from pathlib import Path
|
12 |
from dataclasses import dataclass
|
13 |
|
14 |
-
from markdown_it import MarkdownIt # used for overriding default markdown renderer
|
15 |
-
|
16 |
MODEL_NAME = "all-MiniLM-L6-v2" # TODO: make configurable
|
17 |
DIR = Path("index")
|
18 |
SEARCH_TIME_S = 1 # TODO: optimize
|
@@ -222,17 +220,16 @@ with gr.Blocks() as demo:
|
|
222 |
'[abstracts-search](https://github.com/colonelwatch/abstracts-search) on Github.'
|
223 |
)
|
224 |
|
225 |
-
neighbors_var = gr.State()
|
226 |
-
request_str_var = gr.State()
|
227 |
-
response_var = gr.State()
|
228 |
query = gr.Textbox(lines=1, placeholder='Enter your query here', show_label=False)
|
229 |
btn = gr.Button('Search')
|
230 |
with gr.Group():
|
231 |
-
results = gr.Markdown(
|
|
|
|
|
|
|
|
|
|
|
232 |
|
233 |
-
md = MarkdownIt('js-default', {'linkify': True, 'typographer': True}) # don't render html or latex!
|
234 |
-
results.md = md # TODO: does this not work anymore?
|
235 |
-
|
236 |
query.submit(search, inputs=[query], outputs=[results])
|
237 |
btn.click(search, inputs=[query], outputs=[results])
|
238 |
|
|
|
11 |
from pathlib import Path
|
12 |
from dataclasses import dataclass
|
13 |
|
|
|
|
|
14 |
MODEL_NAME = "all-MiniLM-L6-v2" # TODO: make configurable
|
15 |
DIR = Path("index")
|
16 |
SEARCH_TIME_S = 1 # TODO: optimize
|
|
|
220 |
'[abstracts-search](https://github.com/colonelwatch/abstracts-search) on Github.'
|
221 |
)
|
222 |
|
|
|
|
|
|
|
223 |
query = gr.Textbox(lines=1, placeholder='Enter your query here', show_label=False)
|
224 |
btn = gr.Button('Search')
|
225 |
with gr.Group():
|
226 |
+
results = gr.Markdown(
|
227 |
+
latex_delimiters=[
|
228 |
+
{"left": "$$", "right": "$$", "display": False},
|
229 |
+
{"left": "$", "right": "$", "display": False},
|
230 |
+
]
|
231 |
+
)
|
232 |
|
|
|
|
|
|
|
233 |
query.submit(search, inputs=[query], outputs=[results])
|
234 |
btn.click(search, inputs=[query], outputs=[results])
|
235 |
|