fontこのオプションはワイドテキストの表示に使うフォントを指定する。倍角フォントを間に合わせで作る。fontこのオプションはワイドテキストの表示に使うボールド体のフォントを指定する。倍角フォントを間に合わせで作る。ストの背景に用いる色を指定する。指定がない場合には、反転表示が行われる。エスケープコードを生成すべきことを指定する。エスケープコードを生成してはならないことを指定する。リソースを有効にする。KILL)を送るメニューを使うまで待つ。リソースを無効にする。リソースを有効にする。リソースを無効にする。リソースをオンにする。リソースをオフにする。ジャンプスクロールするよう指示する。なるので、スクロール遅れがそれほどでもなくなる。