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
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv: Gecko/20100226 Firefox/3.5.8 OpenSolaris on x86
Synopsis: Violation of precondition `not_void' of {SD_CUSTOMIZABLE_LIST_ITEM}.custom_parent

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