JMPウィンドウリスト-プリファレンスを設定するJSL（バグ？）こんにちは。JMPウィンドウが最大化されているときにウィンドウリストのドッキングを無効にしようとしています。Set Preferences（）（JMP12.xまたはJMP14.x）を使用したJSLでは何も機能しません
1.1。 プリファレンスを設定します（ウィンドウが最大化されたときにウィンドウリストを表示します（0））; -動作しません
これは、Get Preferences（）に表示されるものです。
2.2。 プリファレンスを設定します（最大化されたウィンドウにウィンドウリストをドッキングします（0））; -動作しません
これは、実際の[設定]ウィンドウペインに表示されるものです。（チェックボックスとして）
したがって、上記の＃1も＃2もこれを制御していないようです。そして、両方とも私には奇妙に思える異なる文字列テキストです。これはおそらくバグですか？または、Set Preferences（）に他の形式の文字列テキストが必要ですか？
DJ
スクリプティング
