Update app.py

app.py

@@ -927,7 +927,6 @@ def create_ui(manager: IssueManager):
                         # Replace the existing code_edit_component definition with:
                         code_edit_component = code_editor(
                             value={"placeholder.txt": "# Select an issue to load code."},
-                            language="python",
                             key="code_editor"
                         )
 
@@ -1009,7 +1008,7 @@ async def handle_issue_select(evt: gr.SelectData):
             code_edit_component: gr.update(value={"error.txt": "# Error loading code\nPlease try again"}),
             ai_output_display: gr.update(value="*Error processing selection*")
         }
-        
+
 
 
         issue_list.select(
@@ -1435,9 +1434,7 @@ if __name__ == "__main__":
     # A common pattern if launch() blocks and doesn't run background async tasks:
     asyncio_thread = threading.Thread(target=lambda: asyncio.run(main_async_tasks()), daemon=True)
     asyncio_thread.start()
-    app.launch(...)
+    app.launch(share=True, server_name="0.0.0.0", server_port=7860, favicon_path="https://huggingface.co/front/assets/huggingface_logo-noborder.svg")
 
     logger.info("Gradio app launched. Webhook server running in background thread.")
-    # The asyncio tasks (WebSocket, broadcast) should be running via Gradio's event loop.
-
-
+    # The asyncio tasks (WebSocket, broadcast) should be running via Gradio's event loop.