Spaces:
Runtime error
Runtime error
Update app.py
Browse files
app.py
CHANGED
@@ -925,17 +925,9 @@ def create_ui(manager: IssueManager):
|
|
925 |
# We'll update its value dynamically when an issue is selected
|
926 |
# Ensure the code_editor component itself handles language setting based on input dict keys or a prop
|
927 |
code_edit_component = code_editor(
|
928 |
-
|
929 |
-
|
930 |
-
# language="python", # Let component handle language if possible
|
931 |
-
elem_id="code_editor_component",
|
932 |
-
# Ensure the component has a reasonable height
|
933 |
-
# height=600 # This might need to be set via CSS or component props
|
934 |
)
|
935 |
-
# Hidden input to trigger code editor updates from server->client WS messages
|
936 |
-
# This is a fallback if direct JS manipulation of the editor isn't feasible
|
937 |
-
code_editor_update_trigger = gr.Textbox(visible=False, elem_id="code-editor-update-trigger")
|
938 |
-
|
939 |
|
940 |
# --- Analytics Tab (Placeholder) ---
|
941 |
with gr.Tab("📈 Analytics", id="analytics", elem_id="tab-analytics"):
|
|
|
925 |
# We'll update its value dynamically when an issue is selected
|
926 |
# Ensure the code_editor component itself handles language setting based on input dict keys or a prop
|
927 |
code_edit_component = code_editor(
|
928 |
+
value="# Select an issue to load relevant code (placeholder)", # Changed to string format
|
929 |
+
issue_num=0 # This is the only other parameter your function accepts
|
|
|
|
|
|
|
|
|
930 |
)
|
|
|
|
|
|
|
|
|
931 |
|
932 |
# --- Analytics Tab (Placeholder) ---
|
933 |
with gr.Tab("📈 Analytics", id="analytics", elem_id="tab-analytics"):
|