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
Closing since this is going to be fixed.
This is correct.
I guess my problem is related or even identical to the one reported by Chris Saunders yesterday to the -devel list. Andreas