PR# 11938 Exception when trying to open new tab

Problem Report Summary
Submitter: aleitner
Category: EiffelStudio
Priority: Medium
Date: 2007/01/29
Class: Bug
Severity: Serious
Number: 11938
Release: 57_gpl_64493 - 60_gpl_65740
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; Linux i686; en; rv:1.8.1.1) Gecko/20060601 Epiphany/2.16 Firefox/2.0.0.1 (Ubuntu-edgy)
Synopsis: Exception when trying to open new tab

Description
On an AMD64/Linux Ubuntu 6.10 when I try to open a new tab by dropping a class stone on the top tab-bar, I get the exception shown in the attached screenshot.
To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2007/01/29    Status: Closed    Download   
Closing since this is going to be fixed.

From:manus_eiffel    Date:2007/01/29    Status: Analyzed    Download   
This is correct.

From:aleitner    Date:2007/01/29    Download   
I guess my problem is related or even identical to the one reported by Chris Saunders yesterday to the -devel list.

Andreas

From:aleitner    Date:2007/01/29    Download   
Attachments for problem report #11938

Attachment: Screenshot.png     Size:311172