Regarding: Restore Recent Closed File

[PPsmm]

Hello,

The “Restore Recent Closed File” feature is extremely helpful, but I wonder whether it might be modified such that any bookmarks are also restored.

This already occurs with saved sessions (another feature that’s saved me a lot of grief in the past), and I could just re-load my entire session after accidentally closing a tab containing bookmarks to recover them, but it’s not very convenient to go about it.

Thanks in advance