PR# 16105 Text modifiers are not working properly

Problem Report Summary
Submitter: ted_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2009/08/03
Class: Bug
Severity: Serious
Number: 16105
Release: 6.5
Confidential: No
Status: Analyzed
Responsible: paulbates
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.0.12) Gecko/2009070611 Firefox/3.0.12
Synopsis: Text modifiers are not working properly

Description
TEXT_MODIFIER for the moment are using in the copyright tool, Contract tool and Info tool. After modifying code in the editor, the editor often refreshes on gaining focus and lost its editing history.
To Reproduce
An example in Info tool:
1. Compile the latest time library (experimental).
2. Open class TIME.
3. In Info tool, click the magnifier in the mini toolbar.
4. Make some valid changes in the TIME class through the editor, save.
5. Select "Obtaining a DATE from a DATE_TIME and vice versa" entry in the Info tool, and press Delete to remove the entry.
6. Now click back to the editor, you will see the reload. And the previous editing history is missing.
Problem Report Interactions
From:ted_eiffel    Date:2009/08/13    Download   
I was using an early 6.5 non-experimental version.
I just made a newer version built against clean rev#80260 (experimental). This is still reproducible.

From:paulbates    Date:2009/08/13    Download   
To be sure, I was using the experimental library to compile ES and had no local modifications. How is your set up?

From:ted_eiffel    Date:2009/08/09    Download   
Yes, step 4 does save the text.

From:paulbates    Date:2009/08/07    Status: Analyzed    Download   
I cannot reproduce this! The editor refreshed but the history is preserved?!

Did you save the class when you modified it in the editor?