Piotr Osiewicz db7417f3b5 Rework file picker for SSH modal (#19020) ... This PR changes the SSH modal design so its more keyboard navigation-friendly and adds the server nickname feature. Release Notes: - N/A --------- Co-authored-by: Danilo <danilo@zed.dev> Co-authored-by: Danilo Leal <67129314+danilo-leal@users.noreply.github.com>		2024-10-15 12:38:03 +02:00
..
head.rs
highlighted_match_with_paths.rs
picker.rs	Rework file picker for SSH modal (#19020)	2024-10-15 12:38:03 +02:00