PR# 12827 History does not remember the formatter

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2007/05/22
Class: Feature Request
Severity: Serious
Number: 12827
Confidential: No
Status: Open
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv: Gecko/20070309 Firefox/
Synopsis: History does not remember the formatter

The history looses the format you were in when going through it, I believe it would be nicer not too.
To Reproduce
1 - Take a class (let's call it A) and look for its descendant.
2 - Pick one the descendant and drop it to the `attributes' format
3 - Click the back button

You are now looking at the attributes of A instead of looking at the descendants of A.
Problem Report Interactions