guipenedo HF Staff commited on
Commit
62a0a98
·
1 Parent(s): d2f5da0

clean up design

Browse files
Files changed (1) hide show
  1. app.py +1 -1
app.py CHANGED
@@ -106,7 +106,7 @@ def on_select_language(lang: str, require_has_math: bool, require_has_infobox: b
106
  if idx == -1:
107
  return (-1, docs_cache, reader_iter, "No documents match filters.", {}, "", [], render_iframe(""))
108
  left, left_meta, md, info, right, header = render_idx(docs_cache, idx)
109
- return (idx, docs_cache, reader_iter, left, left_meta, header, md, info, right)
110
 
111
 
112
  def on_find(docs_cache, idx: int, reader_iter, id_query: str, require_has_math: bool, require_has_infobox: bool):
 
106
  if idx == -1:
107
  return (-1, docs_cache, reader_iter, "No documents match filters.", {}, "", [], render_iframe(""))
108
  left, left_meta, md, info, right, header = render_idx(docs_cache, idx)
109
+ return (idx, docs_cache, reader_iter, left, left, left_meta, header, md, info, right)
110
 
111
 
112
  def on_find(docs_cache, idx: int, reader_iter, id_query: str, require_has_math: bool, require_has_infobox: bool):