gradio 6 fixes: Code language=None (rust unsupported), move theme to launch()

app.py

@@ -158,7 +158,7 @@ def complete(code, temperature, max_tokens, top_p):
     return text, assembled, stats
 
 
-with gr.Blocks(title="RustLean FIM Playground", theme=gr.themes.Soft()) as demo:
+with gr.Blocks(title="RustLean FIM Playground") as demo:
     gr.Markdown(
         "# 🦀 RustLean — Rust FIM Completion\n"
         "Fill-in-the-middle completion from "
@@ -171,7 +171,7 @@ with gr.Blocks(title="RustLean FIM Playground", theme=gr.themes.Soft()) as demo:
         with gr.Column(scale=1):
             code_in = gr.Code(
                 value=DEFAULT_CODE,
-                language="rust",
+                language=None,
                 label="Rust source (mark the hole with <|cursor|>)",
                 interactive=True,
             )
@@ -186,12 +186,12 @@ with gr.Blocks(title="RustLean FIM Playground", theme=gr.themes.Soft()) as demo:
             stats = gr.Markdown("_Not run yet._")
             completion = gr.Code(
                 label="Generated middle",
-                language="rust",
+                language=None,
                 interactive=False,
             )
             result = gr.Code(
                 label="Assembled result (prefix + middle + suffix)",
-                language="rust",
+                language=None,
                 interactive=True,
             )
 
@@ -206,4 +206,4 @@ with gr.Blocks(title="RustLean FIM Playground", theme=gr.themes.Soft()) as demo:
                 outputs=[code_in, completion, result, stats])
 
 if __name__ == "__main__":
-    demo.queue().launch()
+    demo.queue().launch(theme=gr.themes.Soft())