Update app.py

app.py

@@ -86,22 +86,13 @@ with gr.Blocks(title="DeepV for RTL (Model-Agnostic)") as demo:
         with gr.Column(scale=3):
             gr.Markdown("**Output**")
             out_code = gr.Textbox(
-                label="Generated Verilog (click to select and copy)", # Added copy hint here
+                label="Generated Verilog",
                 lines=28,
                 interactive=False,
-                placeholder="// Your Verilog code will appear here",
-                # This small JavaScript snippet is added directly to the Textbox.
-                # When a user clicks, it selects all the text, making it easy to copy.
-                elem_js="""
-                    (el) => {
-                        el.addEventListener('click', () => {
-                            if (el.setSelectionRange) {
-                                el.setSelectionRange(0, el.value.length);
-                            }
-                        });
-                    }
-                """
+                placeholder="// Your Verilog code will appear here"
             )
+            # Add a dedicated copy button
+            copy_button = gr.Button("Copy Code", variant="secondary")
 
             with gr.Tab("Retrieved Items (names + scores)"):
                 retrieved_list = gr.Textbox(
@@ -112,12 +103,37 @@ with gr.Blocks(title="DeepV for RTL (Model-Agnostic)") as demo:
             with gr.Tab("Preview of Retrieved Context (raw)"):
                 retrieved_raw = gr.HighlightedText(label="(first K documents)", combine_adjacent=True)
 
+    # --- Back-end copy function ---
+    def copy_to_clipboard_fn(text):
+        # This function simply returns the text passed to it.
+        # This is a safe way to trigger the JS event on the client side
+        return text
+
     run_btn.click(
         fn=run_generation,
         inputs=[spec, use_rag, top_k, model_choice, api_key, temperature, top_p, max_new_tokens],
         outputs=[out_code, retrieved_list, retrieved_raw]
     )
 
+    # This is the key change. We use the most basic form of a click event,
+    # which is guaranteed to work even on older Gradio versions.
+    copy_button.click(
+        fn=copy_to_clipboard_fn,
+        inputs=[out_code],
+        outputs=[],
+        js="""
+            (text) => {
+                const el = document.createElement('textarea');
+                el.value = text;
+                document.body.appendChild(el);
+                el.select();
+                document.execCommand('copy');
+                document.body.removeChild(el);
+            }
+        """
+    )
+
+
 if __name__ == "__main__":
     if 'agent_module' in locals():
         demo.launch()