JMPのログは、最も役立つ機能の1つです。ただし、その位置をカスタマイズできるとしたら、生産性が高くなると思います。現在、ユーザーが「埋め込みログを表示」を選択すると、ログは常に画面の下部にスナップされます。ユーザーが好きな場所にドッキングできるようにすると便利です。