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
Release: 7.2.8.9529
Confidential: No
Status: Open
Responsible:
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

Description
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