diff --git a/src/web/public/terminal-ui.js b/src/web/public/terminal-ui.js
index 606fc411..ed507935 100644
--- a/src/web/public/terminal-ui.js
+++ b/src/web/public/terminal-ui.js
@@ -3878,21 +3878,6 @@ Object.assign(CodemanApp.prototype, {
     return ok;
   },
 
-  async copyTerminal() {
-    try {
-      const buffer = this.terminal.buffer.active;
-      let text = '';
-      for (let i = 0; i < buffer.length; i++) {
-        const line = buffer.getLine(i);
-        if (line) text += line.translateToString(true) + '\n';
-      }
-      await navigator.clipboard.writeText(text.replace(/\n+$/, '\n'));
-      this.showToast('Copied to clipboard', 'success');
-    } catch (err) {
-      this.showToast('Failed to copy', 'error');
-    }
-  },
-
   _syncMobileHelperTextareaToCursor() {
     if (!MobileDetection.isTouchDevice() || !this.terminal?.element) return;
     try {