Function copySelection

site/src/modules/terminal/WorkspaceTerminal.tsx:233–238

()

		);

		const copySelection = () => {
			const selection = nextTerminal.getSelection();
			if (selection) {
				copyToClipboard(selection);
			}
		};

		// There is no way to remove this handler, so we must attach it once and
		// rely on a ref to send it to the current socket.