PR# 17702 Violation of precondition `not_void' of {SD_CUSTOMIZABLE_LIST_ITEM}.custom_parent

Problem Report Summary

Submitter: prestoat2000

Category: EiffelStudio

Priority: Medium

Date: 2011/06/24

Class: Bug

Severity: Serious

Number: 17702

Release: 7.0.86775

Confidential: No

Status: Open

Responsible:

Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8 OpenSolaris on x86

Synopsis: Violation of precondition `not_void' of {SD_CUSTOMIZABLE_LIST_ITEM}.custom_parent

Description

Picking a displayed separator and dropping it in the available list
while customizing a tool bar causes violation of precondition `not_void'
of {SD_CUSTOMIZABLE_LIST_ITEM}.custom_parent.

To Reproduce

Start "ec -gui", using a finalized ec with preconditions kept (in default
configuration) and open a project.
Customize Project tool bar.
Right-click on first separator in the Display Buttons list to pick it
  and drop it in the Available Buttons list.
Estudio crashes with precondition violation.

Problem Report Interactions