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

Release: 6.0.6.8565

Confidential: No

Status: Open

Responsible:

Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3

Synopsis: History does not remember the formatter

Description

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