Spaces:
Running
Running
Update components.py
Browse files- components.py +5 -0
components.py
CHANGED
|
@@ -25,6 +25,11 @@ def create_filter_controls():
|
|
| 25 |
value=config['default'],
|
| 26 |
label=param_name.replace('_', ' ').title()
|
| 27 |
)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 28 |
filter_controls_list.append(slider)
|
| 29 |
controls[filter_name] = filter_group # Store the group
|
| 30 |
filter_group.children = filter_controls_list # Add controls to the group
|
|
|
|
| 25 |
value=config['default'],
|
| 26 |
label=param_name.replace('_', ' ').title()
|
| 27 |
)
|
| 28 |
+
elif config['type'] == bool:
|
| 29 |
+
slider = gr.Checkbox(
|
| 30 |
+
value=config['default'],
|
| 31 |
+
label=param_name.replace('_', ' ').title()
|
| 32 |
+
)
|
| 33 |
filter_controls_list.append(slider)
|
| 34 |
controls[filter_name] = filter_group # Store the group
|
| 35 |
filter_group.children = filter_controls_list # Add controls to the group
|