PR# 12323 Changing class name and then cancelling Class Rename crashes estudio

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/03/16
Class: Bug
Severity: Serious
Number: 12323
Release: 6.0.67349
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1) Gecko/20061228 Firefox/2.0 Solaris 10 on x64
Synopsis: Changing class name and then cancelling Class Rename crashes estudio

Description
Changing the name of the class in the New Name field of the Refactoring Class
Rename window and clicking Cancel crashes estudio.
To Reproduce
Delete ~/.es directory.
Compile sample basic application.
Click "X" to close Editor tab with ROOT_CLASS.
Click on Rename button.
In New Name field of resulting Refactoring Class Rename window, add "12"
   to the end of the existing value "ROOT_CLASS" in that field.
Click Cancel button.
Estudio crashes with attached trace.
Problem Report Interactions
From:ted_eiffel    Date:2007/03/21    Status: Closed    Download   
It has been fixed.
Thanks for reporting.

From:prestoat2000    Date:2007/03/16    Download   
Attachments for problem report #12323

Attachment: stack76.txt     Size:4982