Pepper Mint

The primary issue was that changes to the bookmark were not saved after reloading. I am not sure why but I can’t reproduce this problem either now. And yes, the

>Save Cursor Position and Bookmarks” check box is set in the File page of the Customize dialog box?

is checked on. Sorry about this.