PR# 18373 Wrong display of menu entry on Unix

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2012/10/15
Class: Bug
Severity: Serious
Number: 18373
Confidential: No
Status: Open
Environment: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/537.4 (KHTML, like Gecko) Chrome/22.0.1229.94 Safari/537.4
Synopsis: Wrong display of menu entry on Unix

See how the `Retarget to Feature ' menu entry is messed up. We forgot to escape the feature name in that particular menu entry.
To Reproduce

Problem Report Interactions
From:manus_eiffel    Date:2012/10/15    Download   
Attachments for problem report #18373

Attachment: bad_menu_linux.png     Size:51795