Changes in May 19th 2013 Version

Added feature: When switching workspaces proxy32 remembers which window is active in each workspace.