Session Time Selector

When working with a previously saved session (containing real-time data), a session time selector is added to the graph. The time selector is used to select the time at which all the memory statistics values are retrieved. By selecting the time selector using the mouse and moving it, the statistics values to the right are updated to reflect the values they had at the time specified by the selector. All the values in the real-time Types/Resources view are also updated when the time selector is moved.