IFxenv*browserColumns: 整数 50 IFxenv*browserRows: 整数 20 IFxenv*debugColumns: 整数 80 IFxenv*debugRows: 整数 30 デバッガのサブゴール・ウインドウおよび ズーミングウインドウのサイズを指定します。

IFxenv*showHistory: on/off(off) IFxenv*showStatus: on/off(on) デバッガの'View'プルダウンメニュー上のトグルに 対応します。

IFxenv*arity: 0-127 7 IFxenv*termArity: 0-127 7 IFxenv*termZoom: 0-100 7 IFxenv*zoom: 0-100 7 デバッガのサブゴール・ウインドウ及びズーミング ウインドウ上のzoomとarityのスケールの初期値を指定します。

IFxenv*initPorts: [{c,C,f,F,r,R,e,E,l,L}] ([C,e,r,F,L]) ポートの停止トグルの初期値を指定します。

IFxenv*initCommands: 文字列 () デバッガのための初期コマンドで、選択された コマンドが実行されたときデバッガ履歴に 表示される文字列と同じ形式で与えます。

IFxenv*splitBar: (on/off) ('on',if display width ＜ 800) デバッガの上部にあるコントロール・バーを 二つの部分に分割するかどうかを指定します。 デバッガ・ウインドウの幅を狭くすることができます。