Andrew Lygin 2ed45d72d8 File finder UI enhancement (#7364) ... File finder looks and feels a little bulky now. It duplicates file names and consumes too much space for each file. This PR makes it more compact: - File name is trimmed from the path, removing duplication - Path is placed to the right of the file name, improving space usage - Path is muted and printed in small size to not distract attention from the main information (file names) It makes search results easier to look through, consistent with the editor tabs, and closer in terms of usage to mature editors. Release Notes: - File finder UI enhancement		2024-02-05 11:12:47 -07:00
..
docs
src	File finder UI enhancement (#7364)	2024-02-05 11:12:47 -07:00
Cargo.toml	Fix some formatting issues in Cargo.toml files (#7127)	2024-01-30 22:01:35 -05:00
LICENSE-GPL