Michael Siebenmann commited on
Commit
f203a08
·
1 Parent(s): 3ed2409

re-add settings bc of HF footer bug

Browse files
Files changed (1) hide show
  1. main.py +1 -1
main.py CHANGED
@@ -447,7 +447,7 @@ def start_frontend(retriever: Retriever, analyzer_type: str, coding_llm, retriev
447
  </div>
448
  """)
449
 
450
- demo.launch(theme=gr.themes.Soft(font=[gr.themes.GoogleFont("Roboto"), "Arial", "sans-serif"]), css=custom_css, head=map_js_head, footer_links=[], i18n=i18n)
451
 
452
 
453
  if __name__ == "__main__":
 
447
  </div>
448
  """)
449
 
450
+ demo.launch(theme=gr.themes.Soft(font=[gr.themes.GoogleFont("Roboto"), "Arial", "sans-serif"]), css=custom_css, head=map_js_head, footer_links=["settings"], i18n=i18n)
451
 
452
 
453
  if __name__ == "__main__":