Author Topic: Save pushed bookmarks with a workspace  (Read 1627 times)

NeilLuna

  • Junior Community Member
  • Posts: 4
  • Hero Points: 0
Save pushed bookmarks with a workspace
« on: December 11, 2013, 03:45:36 PM »
Save pushed bookmarks with a workspace

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 the pushed bookmarks with my workspace would be extremely useful. I use the pushed bookmarks as breadcrumbs in code exploration, and saving my exploration path across sessions would be desirable. Perhaps including the pushed bookmarks is a workspace could be an option, disabled by default for those that treat them more temporary.

See: http://community.slickedit.com/index.php/topic,9660.0.html