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: Open
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