Commit
·
970c66c
1
Parent(s):
0169c26
fix tabbed interface.
Browse files
app.py
CHANGED
|
@@ -465,11 +465,13 @@ with gr.Blocks(title="PSL Minimal-Circuit • Static") as demo:
|
|
| 465 |
|
| 466 |
with gr.Tabs():
|
| 467 |
with gr.Tab("Rules & Model"):
|
| 468 |
-
gr.Markdown(f"**JVM status:**\n\n{JVM_STATUS}")
|
| 469 |
gr.Markdown(COMMENTARY_MD)
|
| 470 |
-
gr.Image(value=GRAPH_PATH, label="Rule Graph (green = positive head, red dashed = negated head)")
|
| 471 |
gr.Markdown(MODEL_SUMMARY_MD)
|
| 472 |
|
|
|
|
|
|
|
|
|
|
| 473 |
with gr.Tab("Atoms"):
|
| 474 |
ATOMS_COMMENTARY = (
|
| 475 |
"### Facts/Atoms Overview\n"
|
|
|
|
| 465 |
|
| 466 |
with gr.Tabs():
|
| 467 |
with gr.Tab("Rules & Model"):
|
| 468 |
+
# gr.Markdown(f"**JVM status:**\n\n{JVM_STATUS}")
|
| 469 |
gr.Markdown(COMMENTARY_MD)
|
|
|
|
| 470 |
gr.Markdown(MODEL_SUMMARY_MD)
|
| 471 |
|
| 472 |
+
with gr.Tab("Dependency graph"):
|
| 473 |
+
gr.Image(value=GRAPH_PATH, label="Rule Graph (green = positive head, red dashed = negated head)", show_label=False)
|
| 474 |
+
|
| 475 |
with gr.Tab("Atoms"):
|
| 476 |
ATOMS_COMMENTARY = (
|
| 477 |
"### Facts/Atoms Overview\n"
|