// 各単語用JavaScript
function setCodeToClipboard( program_id )
{
var program_text = document.getElementById( program_id ).innerHTML;
program_text = program_text.replace( /</g, "<" );
program_text = program_text.replace( />/g, ">" );
program_text = program_text.replace( /"/g, "\"" );
program_text = program_text.replace( /&/g, "&" );
clipboardData.setData( "Text", program_text );
alert( 'クリップボードへのコピーが完了しました。' );
}
function openWindow( program_id )
{
var program_text = document.getElementById( program_id ).innerHTML;
var new_window = window.open( "", "サンプルプログラム" );
new_window.document.open();
new_window.document.write( '' );
new_window.document.write( 'サンプルプログラム' );
new_window.document.write( '' );
new_window.document.write( '' );
new_window.document.write( program_text );
new_window.document.write( '' );
new_window.document.close();
}