feat: Add scaling sliders of plot

app.py

@@ -177,19 +177,37 @@ def main() -> None:
                     interactive=True,
                     scale=2,
                 )
-                with gr.Column():
-                    use_win_ratio_checkbox = gr.Checkbox(
-                        label="Compare models with win ratios (as opposed to raw scores)",
-                        value=True,
-                        interactive=True,
-                        scale=1,
-                    )
-                    show_scale_checkbox = gr.Checkbox(
-                        label="Show scale on plot",
-                        value=False,
-                        interactive=True,
-                        scale=1,
-                    )
+            with gr.Row():
+                use_win_ratio_checkbox = gr.Checkbox(
+                    label="Compare models with win ratios (as opposed to raw scores)",
+                    value=True,
+                    interactive=True,
+                    scale=1,
+                )
+                show_scale_checkbox = gr.Checkbox(
+                    label="Show the scale on the plot (always 0-100)",
+                    value=False,
+                    interactive=True,
+                    scale=1,
+                )
+                plot_width_slider = gr.Slider(
+                    label="Plot width",
+                    minimum=600,
+                    maximum=1000,
+                    step=10,
+                    value=800,
+                    interactive=True,
+                    scale=1,
+                )
+                plot_height_slider = gr.Slider(
+                    label="Plot height",
+                    minimum=300,
+                    maximum=700,
+                    step=10,
+                    value=500,
+                    interactive=True,
+                    scale=1,
+                )
             with gr.Row():
                 plot = gr.Plot(
                     value=produce_radial_plot(
@@ -197,6 +215,8 @@ def main() -> None:
                         language_names=language_names_dropdown.value,
                         use_win_ratio=use_win_ratio_checkbox.value,
                         show_scale=show_scale_checkbox.value,
+                        plot_width=plot_width_slider.value,
+                        plot_height=plot_height_slider.value,
                         results_dfs=results_dfs,
                     ),
                 )
@@ -220,6 +240,8 @@ def main() -> None:
                 language_names_dropdown,
                 use_win_ratio_checkbox,
                 show_scale_checkbox,
+                plot_width_slider,
+                plot_height_slider,
             ],
             outputs=plot,
         )
@@ -227,6 +249,8 @@ def main() -> None:
         model_ids_dropdown.change(**update_plot_kwargs)
         use_win_ratio_checkbox.change(**update_plot_kwargs)
         show_scale_checkbox.change(**update_plot_kwargs)
+        plot_width_slider.change(**update_plot_kwargs)
+        plot_height_slider.change(**update_plot_kwargs)
 
     demo.launch()
 
@@ -315,6 +339,8 @@ def produce_radial_plot(
     language_names: list[str],
     use_win_ratio: bool,
     show_scale: bool,
+    plot_width: int,
+    plot_height: int,
     results_dfs: dict[Language, pd.DataFrame] | None,
 ) -> go.Figure:
     """Produce a radial plot as a plotly figure.
@@ -328,6 +354,10 @@ def produce_radial_plot(
             Whether to use win ratios (as opposed to raw scores).
         show_scale:
             Whether to show the scale on the plot.
+        plot_width:
+            The width of the plot.
+        plot_height:
+            The height of the plot.
         results_dfs:
             The results dataframes for each language.
 
@@ -443,7 +473,8 @@ def produce_radial_plot(
         polar=dict(radialaxis=dict(visible=show_scale, range=[0, 100])),
         showlegend=True,
         title=title,
-        width=800,
+        width=plot_width,
+        height=plot_height,
     )
 
     logger.info("Successfully produced radial plot.")