experiment with label

app.py

@@ -5,7 +5,7 @@ import itertools
 import numpy as np
 
 keys = [
-  ('focallength_mm', gr.Slider(0, 10, value=7, step=0.1)),
+  ('focallength_mm', gr.Slider(0, 10, value=7, step=0.1, label='focallength_mm')),
   ('sensor_width_mm', gr.Slider(0, 10, value=6.7, step=0.1)),
   ('sensor_height_mm', gr.Slider(0, 10, value=5.6, step=0.1)),
   ('image_width_px', gr.Slider(0, 3000, value=640, step=1)),