PR# 19624 Ctrl-R removes unsaved editing

Problem Report Summary
Submitter: gobobe
Category: EiffelStudio
Priority: High
Date: 2020/03/11
Class: Bug
Severity: Critical
Number: 19624
Release: 19.12.10.3842
Confidential: No
Status: Closed
Responsible: jfiat_es
Environment: win
Synopsis: Ctrl-R removes unsaved editing

Description
If you are in the middle of editing and you did not save yet, pressing Ctrl-R will remove all you unsaved editing with not warning.

--
Eric Bezault
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2020/04/22   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
This is now fixed by rev#104079

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:jfiat_es   
											Date:2020/04/22   
																							Status: Analyzed   
											
											Download   
										

										

                                            
											
										 	
We are working on this.