Spaces:
Running
Running
clean up design
Browse files
app.py
CHANGED
|
@@ -131,7 +131,7 @@ def on_select_language(lang: str, require_has_math: bool, require_has_infobox: b
|
|
| 131 |
)
|
| 132 |
if idx == -1:
|
| 133 |
return (-1, docs_cache, reader_iter, "No documents match filters.", "", {}, "", "", [], render_iframe(""))
|
| 134 |
-
return (idx, docs_cache, reader_iter, left,
|
| 135 |
|
| 136 |
|
| 137 |
def show_doc(doc):
|
|
@@ -170,7 +170,7 @@ def on_prev(docs_cache, idx: int, reader_iter, require_has_math: bool, require_h
|
|
| 170 |
left, left_meta, md, info, right, header = render_idx(docs_cache, i)
|
| 171 |
if postfilters_ok(md, require_has_table, require_has_code):
|
| 172 |
filtered_idx = i
|
| 173 |
-
return filtered_idx, docs_cache, reader_iter, left,
|
| 174 |
return idx, docs_cache, reader_iter, "No documents match filters.", "", {}, "", "", [], render_iframe("")
|
| 175 |
|
| 176 |
|
|
@@ -185,7 +185,7 @@ def on_next(docs_cache, idx: int, reader_iter, require_has_math: bool, require_h
|
|
| 185 |
)
|
| 186 |
if new_idx == -1:
|
| 187 |
return idx, docs_cache, reader_iter, "No documents match filters.", "", {}, "", "", [], render_iframe("")
|
| 188 |
-
return new_idx, docs_cache, reader_iter, left,
|
| 189 |
|
| 190 |
|
| 191 |
with gr.Blocks() as demo:
|
|
@@ -207,10 +207,11 @@ with gr.Blocks() as demo:
|
|
| 207 |
with gr.Column(scale=1):
|
| 208 |
language_select = gr.Dropdown(choices=lang_list, value="en", label="Language")
|
| 209 |
with gr.Column(scale=2):
|
| 210 |
-
|
| 211 |
-
|
| 212 |
-
|
| 213 |
-
|
|
|
|
| 214 |
with gr.Row():
|
| 215 |
with gr.Column():
|
| 216 |
with gr.Tab("FineWiki markdown"):
|
|
|
|
| 131 |
)
|
| 132 |
if idx == -1:
|
| 133 |
return (-1, docs_cache, reader_iter, "No documents match filters.", "", {}, "", "", [], render_iframe(""))
|
| 134 |
+
return (idx, docs_cache, reader_iter, left, left, left_meta, header, right_md, info, right)
|
| 135 |
|
| 136 |
|
| 137 |
def show_doc(doc):
|
|
|
|
| 170 |
left, left_meta, md, info, right, header = render_idx(docs_cache, i)
|
| 171 |
if postfilters_ok(md, require_has_table, require_has_code):
|
| 172 |
filtered_idx = i
|
| 173 |
+
return filtered_idx, docs_cache, reader_iter, left, left, left_meta, header, md, info, right
|
| 174 |
return idx, docs_cache, reader_iter, "No documents match filters.", "", {}, "", "", [], render_iframe("")
|
| 175 |
|
| 176 |
|
|
|
|
| 185 |
)
|
| 186 |
if new_idx == -1:
|
| 187 |
return idx, docs_cache, reader_iter, "No documents match filters.", "", {}, "", "", [], render_iframe("")
|
| 188 |
+
return new_idx, docs_cache, reader_iter, left, left, left_meta, header, right_md, info, right
|
| 189 |
|
| 190 |
|
| 191 |
with gr.Blocks() as demo:
|
|
|
|
| 207 |
with gr.Column(scale=1):
|
| 208 |
language_select = gr.Dropdown(choices=lang_list, value="en", label="Language")
|
| 209 |
with gr.Column(scale=2):
|
| 210 |
+
with gr.Row():
|
| 211 |
+
require_has_math = gr.Checkbox(label="Has math", value=False)
|
| 212 |
+
require_has_infobox = gr.Checkbox(label="Has infobox", value=False)
|
| 213 |
+
require_has_table = gr.Checkbox(label="Has table", value=False)
|
| 214 |
+
require_has_code = gr.Checkbox(label="Has pre/code", value=False)
|
| 215 |
with gr.Row():
|
| 216 |
with gr.Column():
|
| 217 |
with gr.Tab("FineWiki markdown"):
|