Update app.py

app.py

@@ -510,11 +510,15 @@ def clear_fn():
 
 
 css="""
-#wrap { width: 100%; height: 100%; padding: 0; overflow: hidden; }
-#frame { width: 800px; height: 800px; border: 1px solid black; }
+#wrap { width: 100%; height: 100%; padding: 0; overflow: auto; }
+#frame { width: 100%; border: 1px solid black; }
 #frame { zoom: $ZOOM; -moz-transform: scale($ZOOM); -moz-transform-origin: 0 0; }
 """
 this=["1.25"]
+def zoom_update(inp):
+    this.clear()
+    this.update(inp)
+    
 
 with gr.Blocks(css=css.replace("$ZOOM",this[0])) as app:
     gr.HTML("""<center><h1>Mixtral 8x7B TLDR Summarizer + Web</h1><h3>Summarize Data of unlimited length</h3>""")
@@ -523,6 +527,7 @@ with gr.Blocks(css=css.replace("$ZOOM",this[0])) as app:
         with gr.Column(scale=3):
             prompt=gr.Textbox(label = "Instructions (optional)")
         with gr.Column(scale=1):
+            
             button=gr.Button()
         
         #models_dd=gr.Dropdown(choices=[m for m in return_list],interactive=True)
@@ -543,12 +548,13 @@ with gr.Blocks(css=css.replace("$ZOOM",this[0])) as app:
         with gr.Tab("PDF Batch"):
             pdf_batch = gr.Textbox(label="PDF URL Batch (comma separated)")
     m_box=gr.HTML()
-    
+    zoom_btn=gr.Slider(label="Zoom",step=0.01,minimum=0.1,maximum=5,value=1,interactive=True)
     e_box=gr.Textbox(interactive=True)
     upd_button=gr.Button("Update Chart")
     json_out=gr.JSON()
     #text=gr.JSON()
 
+    zoom_btn.change(zoom_update,zoom_btn,None)
     upd_button.click(mm,e_box,m_box)
     #inp_query.change(search_models,inp_query,models_dd)
     clear_btn.click(clear_fn,None,[prompt,chatbot])