在 JMP 插件中支持 PFS / 首选项文件在我编写的一些插件中(目前使用 JMP 16.2),我将用户首选项存储在插件文件夹内的一个文件中。
另一方面,JMP 使用这些 PFS 文件来存储其设置和首选项。
我认为使用一些 JSL 命令来将首选项和设置存储在 PFS 文件中是个好主意——非常类似于 JSL-Hamcrest 中使用的 PFS 文件。
这些插件生成的首选项文件应该是持久的,这样插件更新就不会删除 PFS 文件。
JMP 和 JSL-Hamcrest 使用的 PFS 文件示例:
示例首选项(
GUI 位置(“底部”),
使用标记( 1 ),
显示嵌入式日志( 1 )
)
首选项文件应通过其文件名从插件加载:
加载首选项("\user-preferences.PFS")
为了获得偏好值,我们调用一个函数来加载值(字符串、数字、列表、矩阵...)
为了设置偏好值,我们调用一个函数来设置值(字符串、数字、列表、矩阵...)
使用插件后,应将首选项文件保存回来:
保存首选项("\user-preferences.PFS")
如果您可以将此功能添加到下一个 JMP/JSL 版本,将会很有帮助。
自动化和脚本脚本