Update app.py
Browse files
app.py
CHANGED
@@ -31,8 +31,19 @@ custom_css = """
|
|
31 |
.gradio-container {
|
32 |
max-width: 95%!important;
|
33 |
}
|
|
|
|
|
|
|
|
|
|
|
|
|
34 |
"""
|
35 |
|
|
|
|
|
|
|
|
|
|
|
36 |
# Pattern: 0 Default, 1 Grid, 2 Chain, 3 Circle, 4 Square, 5 Cross, 6 Two_Rows, 7 Field, 8 Random
|
37 |
pattern_map = {0: "0: Default", 1: "1: Grid", 2: "2: Chain", 3: "3: Circle", 4: "4: Square", 5: "5: Cross", 6: "6: Two Rows", 7: "7: Field", 8: "8: Random" }
|
38 |
|
@@ -241,7 +252,7 @@ with block:
|
|
241 |
gr.HTML(f"<p style='text-align: center;'>Get started π on our <a href='https://github.com/hivex-research/hivex'>GitHub repository</a>!</p>")
|
242 |
|
243 |
path_ = download_leaderboard_dataset()
|
244 |
-
|
245 |
# ENVIRONMENT TABS
|
246 |
with gr.Tabs() as tabs: # elem_classes="tab-buttons"
|
247 |
for env_index in range(0, len(hivex_envs)):
|
@@ -261,7 +272,8 @@ with block:
|
|
261 |
datatype=["markdown", "markdown"],
|
262 |
row_count=(row_count, 'fixed') # Set to the exact number of rows in the data
|
263 |
)
|
264 |
-
|
|
|
265 |
|
266 |
scheduler = BackgroundScheduler()
|
267 |
scheduler.add_job(restart, "interval", seconds=86400)
|
|
|
31 |
.gradio-container {
|
32 |
max-width: 95%!important;
|
33 |
}
|
34 |
+
.table td, .table th {
|
35 |
+
white-space: nowrap;
|
36 |
+
text-overflow: ellipsis;
|
37 |
+
overflow: hidden;
|
38 |
+
width: 1%;
|
39 |
+
}
|
40 |
"""
|
41 |
|
42 |
+
|
43 |
+
# Add the DataFrame and CSS to the Gradio interface
|
44 |
+
with gr.Blocks(css=css) as demo:
|
45 |
+
gr_dataframe.render()
|
46 |
+
|
47 |
# Pattern: 0 Default, 1 Grid, 2 Chain, 3 Circle, 4 Square, 5 Cross, 6 Two_Rows, 7 Field, 8 Random
|
48 |
pattern_map = {0: "0: Default", 1: "1: Grid", 2: "2: Chain", 3: "3: Circle", 4: "4: Square", 5: "5: Cross", 6: "6: Two Rows", 7: "7: Field", 8: "8: Random" }
|
49 |
|
|
|
252 |
gr.HTML(f"<p style='text-align: center;'>Get started π on our <a href='https://github.com/hivex-research/hivex'>GitHub repository</a>!</p>")
|
253 |
|
254 |
path_ = download_leaderboard_dataset()
|
255 |
+
|
256 |
# ENVIRONMENT TABS
|
257 |
with gr.Tabs() as tabs: # elem_classes="tab-buttons"
|
258 |
for env_index in range(0, len(hivex_envs)):
|
|
|
272 |
datatype=["markdown", "markdown"],
|
273 |
row_count=(row_count, 'fixed') # Set to the exact number of rows in the data
|
274 |
)
|
275 |
+
|
276 |
+
|
277 |
|
278 |
scheduler = BackgroundScheduler()
|
279 |
scheduler.add_job(restart, "interval", seconds=86400)
|