Use new Gradio Code block (#11)

- Use new Gradio Code block (25012eba9e67e2e48b3fe44396cfcb365a6037ef)
- use gr.Code block (a3ad754ae087f1078a2a961ffa5da65dc70f6e94)


Co-authored-by: loubna ben allal <[email protected]>

README.md

@@ -4,7 +4,7 @@ emoji: 🎅
 colorFrom: blue
 colorTo: red
 sdk: gradio
-sdk_version: 3.13.0
+sdk_version: 3.21.0
 app_file: app.py
 pinned: false
 ---

app.py

@@ -97,7 +97,7 @@ with demo:
         _, colum_2, _ = gr.Column(scale=1), gr.Column(scale=6), gr.Column(scale=1)
         with colum_2:
             gr.Markdown(value=description)
-            code = gr.Textbox(lines=5, label="Input code", value="def all_odd_elements(sequence):\n    \"\"\"Returns every odd element of the sequence.\"\"\"")
+            code = gr.Code(lines=5, language="python", label="Input code", value="def all_odd_elements(sequence):\n    \"\"\"Returns every odd element of the sequence.\"\"\"")
             
             with gr.Accordion("Advanced settings", open=False):
                 max_new_tokens= gr.Slider(