PR# 19575 EiffelStudio edit warning for locked library class

Problem Report Summary
Submitter: rwschlatter
Category: EiffelStudio
Priority: Medium
Date: 2019/08/30
Class: Bug
Severity: Non-critical
Number: 19575
Release: 19.05
Confidential: No
Status: Open
Environment: win
Synopsis: EiffelStudio edit warning for locked library class

I have started to use additional windows to study library classes next to other code (rather than switching between tabs, I can make windows side-by side on screen).

Problem: opening a file into the editor will trigger a warning that it is already in use in a different editor. With non-editable library classes this is non-sensical.

Please don't give the hint for locked library class files (otherwise considered helpful).
To Reproduce
open a library class in the editor for viewing, open a separate New Window, attempt to open same class.
Problem Report Interactions
From:rwschlatter    Date:2019/08/30    Download   
Attachments for problem report #19575