BUG? Open workspace doesn't clear pushed bookmarks

[Phil Barila]

This is probably going to be one of those that is difficult to repro, but here goes.  I've noticed that in SE 2007 on Windows XP x64, if I have pushed some bookmarks and not popped them, if I open a different workspace, push some more bookmarks, then start popping, the bookmarks pushed while the previous workspace was open are also popped, and files that may or may not be unrelated to the current workspace are opened.  It would be nice if the act of opening a workspace (with the Close Workspace implicit in that) would clear pushed bookmarks.  Thanks.

[hs2]

Hi Phil,

added this callback exactly for the same reason (already in v11)

Code: [Select]

void _wkspace_close_popallbkms()
{
   pop_all_bookmarks();
}

Note that there is one more issue concerning the 'back'/'forward' stack not being dumped on workspace change and I didn't find anything to reset it too ...
@SlickTeam: Any idea howto to do that ?

HS2