In release 4.14, double-clicking on a source file name in the project window no longer changes focus to this file if it is already open and has a corresponding tab in the edit window.
In previous releases, the editor switched to the double-clicked file whether it was already open or not.
Is this intentional? I was not able to find a preference switch for this behaviour anywhere.
Regards, Mike Hummel