Spaces:
Running
Running
move voting part up
Browse files
app.py
CHANGED
@@ -157,7 +157,6 @@ with gr.Blocks(title="Lean Finder Retrieval", css=CUSTOM_CSS) as demo:
|
|
157 |
topk_slider = gr.Slider(label="Top-k", minimum=1, maximum=20, step=1, value=3)
|
158 |
mode_sel = gr.Radio(["Normal", "Arena"], value="Normal", label="Mode")
|
159 |
run_btn = gr.Button("Retrieve")
|
160 |
-
results_html= gr.HTML()
|
161 |
|
162 |
with gr.Row(elem_id="vote_area"):
|
163 |
with gr.Column(elem_id="vote_radio_col"):
|
@@ -179,6 +178,7 @@ with gr.Blocks(title="Lean Finder Retrieval", css=CUSTOM_CSS) as demo:
|
|
179 |
elem_id="vote_status"
|
180 |
)
|
181 |
|
|
|
182 |
|
183 |
# internal state: stored per browser session
|
184 |
st_query = gr.State("")
|
|
|
157 |
topk_slider = gr.Slider(label="Top-k", minimum=1, maximum=20, step=1, value=3)
|
158 |
mode_sel = gr.Radio(["Normal", "Arena"], value="Normal", label="Mode")
|
159 |
run_btn = gr.Button("Retrieve")
|
|
|
160 |
|
161 |
with gr.Row(elem_id="vote_area"):
|
162 |
with gr.Column(elem_id="vote_radio_col"):
|
|
|
178 |
elem_id="vote_status"
|
179 |
)
|
180 |
|
181 |
+
results_html= gr.HTML()
|
182 |
|
183 |
# internal state: stored per browser session
|
184 |
st_query = gr.State("")
|