// -*- coding: euc-jp -*-
// JavaScript で任意のテキストをクリップボードにコピーする｜まくろぐ
// https://maku.blog/p/buk5i2o/

function copyToClipboard(s)
{
	// テキストコピー用の一時要素を作成
	var pre = document.createElement('pre');

	// テキストを選択可能にしてテキストセット
	pre.style.webkitUserSelect = 'auto';
	pre.style.userSelect = 'auto';
	pre.textContent = s;

	// 要素を追加、選択してクリップボードにコピー
	document.body.appendChild(pre);
	document.getSelection().selectAllChildren(pre);
	var result = document.execCommand('copy');

	// 要素を削除
	document.body.removeChild(pre);

	return result;
}