/** * Clipboard helpers for the web terminals. * * Mobile browsers (iOS Safari, Android Chrome) don't expose xterm.js's text * selection / clipboard the same way desktop does, and the mobile toolbar * around our terminals doesn't include explicit copy/paste keys. The helpers * below give the toolbar a robust path that: * - Uses the modern async Clipboard API on HTTPS / localhost. * - Falls back to a hidden