「Editor options (エディター・オプション)」(オプション 0.6)

エディター・オプションは、表示、編集、または印刷時にデータを表示または印刷する形式を設定するために使用する、さまざまなオプションを制御します。

エディター・セッションでは、PROFILE 基本コマンドを使用して現行の設定を表示します。

注: データを表示、編集、または印刷する場合に、これらのオプションを変更するために「オプション」プルダウン・メニューを選択することはできません。オプションを変更できるのは、表示、編集、または印刷セッションの開始前のみです。現行の表示、編集、または印刷セッションの動作を変更するには、それに相当する基本コマンドを (使用可能な場面で) 使用してください。