Update for gradio >=4.0.0
Browse files
app.py
CHANGED
@@ -147,13 +147,17 @@ with demo:
|
|
147 |
value=original_df,
|
148 |
headers=COLS,
|
149 |
datatype=TYPES,
|
150 |
-
max_rows=5,
|
151 |
elem_id="leaderboard-table",
|
152 |
)
|
153 |
|
154 |
# # Dummy leaderboard for handling the case when the user uses backspace key
|
155 |
hidden_leaderboard_table_for_search = gr.components.Dataframe(
|
156 |
-
value=original_df,
|
|
|
|
|
|
|
|
|
157 |
)
|
158 |
|
159 |
search_bar.change(
|
|
|
147 |
value=original_df,
|
148 |
headers=COLS,
|
149 |
datatype=TYPES,
|
150 |
+
# max_rows=5,
|
151 |
elem_id="leaderboard-table",
|
152 |
)
|
153 |
|
154 |
# # Dummy leaderboard for handling the case when the user uses backspace key
|
155 |
hidden_leaderboard_table_for_search = gr.components.Dataframe(
|
156 |
+
value=original_df,
|
157 |
+
headers=COLS,
|
158 |
+
datatype=TYPES,
|
159 |
+
# max_rows=5,
|
160 |
+
visible=False
|
161 |
)
|
162 |
|
163 |
search_bar.change(
|