PR# 16892 Context menu in editor gone since 6.5!!!!

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelVision
Priority: High
Date: 2010/06/21
Class: Bug
Severity: Critical
Number: 16892
Release: 6.6.8.3602
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US) AppleWebKit/533.4 (KHTML, like Gecko) Chrome/5.0.375.70 Safari/533.4
Synopsis: Context menu in editor gone since 6.5!!!!

Description
I was trying the context menu in the editor and was horrified that it had disappeared since 6.5. In 6.4, you would get the menu as shown in the attachment, but in 6.5 and 6.6 it has simply disappeared.

This doesn't work regardless of your preference for pick and drop.

Ted, can you look at that?
To Reproduce
Right click anywhere on the editor and nothing appears.
Problem Report Interactions
From:ted_eiffel    Date:2010/06/27    Status: Closed    Download   
Thanks, Ian. Now this is integrated at rev#83715.

From:misterieking    Date:2010/06/25    Download   
Patch looks good.  We could have also updated the editor to have a 'void' pebble representation so we don't have to deal with void internally, but as this was how we did it before this is the correct change.

From:ted_eiffel    Date:2010/06/25    Download   
Ian, can you have a quick look at the patch? I will commit if you approve. Thanks.

From:jfiat_es    Date:2010/06/22    Download   
I can notice we had in the past (and still recently) a few annoying issue with Void-safety conversion

sometimes, it is linked to the usage of  "check" to prove void-safety.

I guess, we should try to get rid of all check /= Void end ...

and always have a else part which does something 
we should not "ignore" the else part.

For this current issue, I don't know if this is related to this kind of issue.

From:ted_eiffel    Date:2010/06/22    Status: Analyzed    Download   
This was broken at rev#79073 - Vision2 void-safty integration where if the pebble is void, corresponding creation routine is not called anymore.

I tried fixing the problem, please review if the change makes sense.

Attachment: editor_context_menu_repair.patch     Size:6429
From:manus_eiffel    Date:2010/06/21    Download   
Attachments for problem report #16892

Attachment: context_menu_6_4.png     Size:32649