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
Confidential: No
Status: Open
Responsible: jfiat_es
Environment: win
Synopsis: Ctrl-R removes unsaved editing

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