extra_args

app.py

@@ -53,6 +53,8 @@ with gr.Blocks() as demo:
                     """
         )
 
+        extra_args = gr.Textbox(label="Extra args to export.bash", placeholder="emit_type_definitions false", value="")
+
         with gr.Row(visible=True):
             disassembly = gr.Code(
                 label="Disassembly",
@@ -98,8 +100,9 @@ with gr.Blocks() as demo:
             fun_dropdown: gr.update(**funs),
         }
 
-    @fun_dropdown.change(inputs=fun_dropdown, outputs=[disassembly, original_decompile])
-    def function_change_fn(selected_fun):
+    @fun_dropdown.change(inputs=[fun_dropdown, extra_args], outputs=[disassembly, original_decompile])
+    @extra_args.submit(inputs=[fun_dropdown, extra_args], outputs=[disassembly, original_decompile])
+    def function_change_fn(selected_fun, extra_args):
 
         if selected_fun is None:
             return {
@@ -110,6 +113,7 @@ with gr.Blocks() as demo:
         try:
             disassembly_str, decompile_str = client.predict(
                 selected_fun=selected_fun,
+                extra_args=extra_args,
                 api_name="/function_change_fn",
             )
         except Exception as e: