Rockbox open source high quality audio player as a Music Player Daemon
mpris
rockbox
mpd
libadwaita
audio
rust
zig
deno
Always show search when query is non-empty
+1
-5
+1
-5
gpui/src/ui/components/pages/library.rs
+1
-5
gpui/src/ui/components/pages/library.rs
···
658
658
)
659
659
};
660
660
661
-
let show_search = !query.is_empty()
662
-
&& !matches!(
663
-
section,
664
-
LibrarySection::AlbumDetail | LibrarySection::ArtistDetail | LibrarySection::Files
665
-
);
661
+
let show_search = !query.is_empty();
666
662
let content: AnyElement = if show_search {
667
663
// ── Search results ────────────────────────────────────────────────────
668
664
match search_results {