// 高さの設定モードの選択肢
const string HEIGHT_MODE_MANUAL = "高さの値を手動で設定";
const string HEIGHT_MODE_AUTO = "縦横比が同じになる高さに設定";

// 高さの設定モードをユーザーに選択してもらう
string heightMode = select("- 高さの設定モードを選択 -", HEIGHT_MODE_MANUAL, HEIGHT_MODE_AUTO);
while (heightMode == "- 高さの設定モードを選択 -") {
	heightMode = select("- 高さの設定モードを選択 -", HEIGHT_MODE_MANUAL, HEIGHT_MODE_AUTO);
}