ブックマーク機能のデフォルト名について提案したものです。
さきほどは、開発者様のご提案どおりで異存ない旨、回答したのですが、
各ブックマークのプロパティで設定するよりも、「ツール」の「設定」にある「ブックマーク」タブ内に
ご提案のラジオボタンがあったほうがよろしいのではと思います。
その方が、ブックマーク機能を現在の仕様でお使いになっている方はプロパティ画面の変更に
ならないのでシンプルと思います。
もちろんデフォルトではラジオボタンはオフで、ブックマークはファイル名のままでお願いします。