Spaces:
Running
Running
fix: remove multiselect=True from gr.CheckboxGroup
Browse files
app.py
CHANGED
@@ -108,7 +108,6 @@ if __name__ == "__main__":
|
|
108 |
gr.CheckboxGroup(
|
109 |
choices=list(MINIMIZATION_FUNCTIONS.keys()),
|
110 |
value=["qed"],
|
111 |
-
multiselect=True,
|
112 |
label="Property goals",
|
113 |
),
|
114 |
gr.Textbox(
|
|
|
108 |
gr.CheckboxGroup(
|
109 |
choices=list(MINIMIZATION_FUNCTIONS.keys()),
|
110 |
value=["qed"],
|
|
|
111 |
label="Property goals",
|
112 |
),
|
113 |
gr.Textbox(
|