// ウィンドウが閉じられた際に実行されるイベントハンドラ
// -----
// * 引数 componentID: 閉じられたウィンドウのGUIコンポーネントID
void onWindowClose(int componentID) {

	// プログラムの実行を終了する
	exit();
}