I currently save my bookmarks with my workspace. I have "Editing->Bookmarks->Use workspace bookmarks" enabled. My regular bookmarks save and load with the workspace as expected, however my pushed bookmarks do not.
For me, saving/restoring the pushed bookmarks to/from a file would be extremely useful. I use the pushed bookmarks as breadcrumbs in code exploration, and saving my exploration path across sessions would be desirable.
Could such functionality be implemented in a Slick-C script?
See:
http://community.slickedit.com/index.php/topic,9660.0.html