Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
|
@@ -359,8 +359,10 @@ CSS = """
|
|
| 359 |
line-height: 1.2;
|
| 360 |
}
|
| 361 |
|
| 362 |
-
/*
|
| 363 |
#toolbar .gr-row { align-items: end; }
|
|
|
|
|
|
|
| 364 |
|
| 365 |
/* Gallery 更像 viewer */
|
| 366 |
#viewer { margin-top: 10px; }
|
|
@@ -389,17 +391,19 @@ def build_ui():
|
|
| 389 |
parquet_tip = gr.HTML(value="<div id='badges'></div>")
|
| 390 |
summary_badge = gr.HTML(value="<div id='badges'><span class='badge'>No parquet selected</span></div>")
|
| 391 |
scan_info = gr.HTML(value="<div id='badges'><span class='badge'>Indexing dataset repo…</span></div>")
|
|
|
|
| 392 |
|
| 393 |
with gr.Row():
|
| 394 |
shape_dd = gr.Dropdown(label="Shape", choices=SHAPES, value="circle", scale=1)
|
| 395 |
split_dd = gr.Dropdown(label="Split", choices=SPLITS, value="test", scale=1)
|
| 396 |
size_dd = gr.Dropdown(label="Maze size", choices=MAZE_SIZE_CHOICES, value="All", scale=1)
|
| 397 |
-
parquet_dd = gr.Dropdown(label="Parquet", choices=[], value=None, scale=
|
|
|
|
| 398 |
|
| 399 |
with gr.Row(elem_id="toolbar"):
|
| 400 |
-
id_query = gr.Textbox(label="Find by id", placeholder="UUID or substring", scale=
|
| 401 |
-
idx_slider = gr.Slider(label="Index", minimum=0, maximum=0, value=0, step=1, scale=
|
| 402 |
-
|
| 403 |
prev_btn = gr.Button("⬅ Prev", variant="secondary", scale=1)
|
| 404 |
next_btn = gr.Button("Next ➡", variant="secondary", scale=1)
|
| 405 |
random_btn = gr.Button("🎲 Random", variant="primary", scale=1)
|
|
|
|
| 359 |
line-height: 1.2;
|
| 360 |
}
|
| 361 |
|
| 362 |
+
/* Index 一行,按钮单独一行并向下留间距 */
|
| 363 |
#toolbar .gr-row { align-items: end; }
|
| 364 |
+
#toolbar-btns { margin-top: 12px; }
|
| 365 |
+
#toolbar-btns .gr-row { align-items: end; }
|
| 366 |
|
| 367 |
/* Gallery 更像 viewer */
|
| 368 |
#viewer { margin-top: 10px; }
|
|
|
|
| 391 |
parquet_tip = gr.HTML(value="<div id='badges'></div>")
|
| 392 |
summary_badge = gr.HTML(value="<div id='badges'><span class='badge'>No parquet selected</span></div>")
|
| 393 |
scan_info = gr.HTML(value="<div id='badges'><span class='badge'>Indexing dataset repo…</span></div>")
|
| 394 |
+
|
| 395 |
|
| 396 |
with gr.Row():
|
| 397 |
shape_dd = gr.Dropdown(label="Shape", choices=SHAPES, value="circle", scale=1)
|
| 398 |
split_dd = gr.Dropdown(label="Split", choices=SPLITS, value="test", scale=1)
|
| 399 |
size_dd = gr.Dropdown(label="Maze size", choices=MAZE_SIZE_CHOICES, value="All", scale=1)
|
| 400 |
+
parquet_dd = gr.Dropdown(label="Parquet", choices=[], value=None, scale=2)
|
| 401 |
+
|
| 402 |
|
| 403 |
with gr.Row(elem_id="toolbar"):
|
| 404 |
+
id_query = gr.Textbox(label="Find by id", placeholder="UUID or substring", scale=2)
|
| 405 |
+
idx_slider = gr.Slider(label="Index", minimum=0, maximum=0, value=0, step=1, scale=2)
|
| 406 |
+
with gr.Row():
|
| 407 |
prev_btn = gr.Button("⬅ Prev", variant="secondary", scale=1)
|
| 408 |
next_btn = gr.Button("Next ➡", variant="secondary", scale=1)
|
| 409 |
random_btn = gr.Button("🎲 Random", variant="primary", scale=1)
|