Marker
Marker copied to clipboard
Small Bug: double click to change name replaces name.
To reproduce this problem:
- have (at least) two files opened, so that the sidebar appears.
- double click the first file name, in order to enter the name-changing mode. However, don´t change the name.
- without canceling the first name-change, double click the second file name.
The second file's name will now get replaced by the first file's name.