Neat behaviour - I'll have to try it out (like, what happens when you have 5 open workspaces - do they all have access to the same list of history? Just something to try).
What about contents of workspace variables? Are those stored in the history as well?
Actually, I seldom reuse variables across workspaces and have no more than 2 or 3 workspace at the same time. What would be the ideal scenario for variables?
Thanks for your words, Alexandre
The history for workspace contents has 5 slots. Slots are filled upon workspace deletion: when you close a workspace, its content is inserted in the history. Only the last 5 contents are remembered. Other are forgotten. It is easy to increase this limit although. Cheers, Alexandre -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.