add download button to imageslider

app.py

@@ -150,7 +150,10 @@ css = """
 demo = gr.Interface(
     fn=process_img,
     inputs=[gr.Image(type="pil", label="Input", value="images/img002x4.png"),],
-    outputs=ImageSlider(label="Super-Resolved Image", type="pil"), #[gr.Image(type="pil", label="Ouput", min_width=500)],
+    outputs=ImageSlider(label="Super-Resolved Image", 
+                        type="pil",
+                        show_download_button=True,
+                        ), #[gr.Image(type="pil", label="Ouput", min_width=500)],
     title=title,
     description=description,
     article=article,