このウィッシュリストのリクエストのきっかけは何ですか?
いくつかの PC 間で設定を移動しようとしましたが、変更された設定だけでなくすべての設定がエクスポートされたときに問題が発生しました。たとえば、GetPreferences() に含まれているように見えるため、間違った CPUID を設定したいかどうかはよくわかりません。
どのような改善を望みますか?
GetPreferences() に << Changed オプションを追加します。これは、Get PlatformPreferences() ユーティリティ関数 (jmp.com)から既に見つけることができます。これを使用すると、ユーザーが変更した設定のリストを取得できます。また、「Get Default Settings」などの関数を提供して、JMP が使用するデフォルトの設定を常に確認できるようにすることもできます。
このアイデアはなぜ重要なのでしょうか?
すべての設定がコピーされていない場合でも、バックアップを作成したり、異なるラップトップ間で JMP 設定を移動したりすることが容易になります。
