Spaces:
Runtime error
Runtime error
Update app.py
Browse files
app.py
CHANGED
|
@@ -93,26 +93,17 @@ def start_auto_update(terminal_output, sandbox_id_box, start_time_state, sandbox
|
|
| 93 |
# Gradio UI
|
| 94 |
# -------------------------
|
| 95 |
with gr.Blocks() as demo:
|
| 96 |
-
# Dark theme CSS
|
| 97 |
-
gr.HTML("""
|
| 98 |
-
<style>
|
| 99 |
-
body {background-color: #1e1e1e; color: #ffffff; font-family: monospace;}
|
| 100 |
-
.terminal-box textarea {background-color: #000000; color: #ffffff; font-family: monospace; font-size:14px; border-radius:6px;}
|
| 101 |
-
.side-panel {background-color: #2e2e2e; padding:10px; border-radius:6px;}
|
| 102 |
-
.side-panel button {margin-bottom:10px; width:100%;}
|
| 103 |
-
</style>
|
| 104 |
-
""")
|
| 105 |
|
| 106 |
with gr.Row():
|
| 107 |
# Terminal Column
|
| 108 |
with gr.Column(scale=3):
|
| 109 |
-
gr.Markdown("### 🖥 Sandbox
|
| 110 |
-
terminal_output = gr.Textbox(label="", lines=20, interactive=False
|
| 111 |
command_input = gr.Textbox(label="Command Input", placeholder="print('Hello!')", interactive=True)
|
| 112 |
run_btn = gr.Button("Run Command")
|
| 113 |
|
| 114 |
# Side Panel
|
| 115 |
-
with gr.Column(scale=1
|
| 116 |
gr.Markdown("### Sandbox Controls")
|
| 117 |
launch_btn = gr.Button("Launch Sandbox")
|
| 118 |
kill_btn = gr.Button("Kill Sandbox")
|
|
|
|
| 93 |
# Gradio UI
|
| 94 |
# -------------------------
|
| 95 |
with gr.Blocks() as demo:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 96 |
|
| 97 |
with gr.Row():
|
| 98 |
# Terminal Column
|
| 99 |
with gr.Column(scale=3):
|
| 100 |
+
gr.Markdown("### 🖥 Sandbox Cloud Console")
|
| 101 |
+
terminal_output = gr.Textbox(label="", lines=20, interactive=False)
|
| 102 |
command_input = gr.Textbox(label="Command Input", placeholder="print('Hello!')", interactive=True)
|
| 103 |
run_btn = gr.Button("Run Command")
|
| 104 |
|
| 105 |
# Side Panel
|
| 106 |
+
with gr.Column(scale=1):
|
| 107 |
gr.Markdown("### Sandbox Controls")
|
| 108 |
launch_btn = gr.Button("Launch Sandbox")
|
| 109 |
kill_btn = gr.Button("Kill Sandbox")
|