properties: display the number of elements found

This commit is contained in:
Stéphane Cerveau 2022-02-07 12:09:56 +01:00
parent dc04f16b47
commit 402ac1f40f

View file

@ -348,7 +348,7 @@ pub fn display_pipeline_details(app: &GPSApp) {
if let Some(elements) = app.player.borrow().pipeline_elements() { if let Some(elements) = app.player.borrow().pipeline_elements() {
let elements_list = elements.join(" "); let elements_list = elements.join(" ");
let label = gtk::Label::builder() let label = gtk::Label::builder()
.label("Elements:") .label(&format!("{} elements:", elements.len()))
.hexpand(true) .hexpand(true)
.halign(gtk::Align::Start) .halign(gtk::Align::Start)
.valign(gtk::Align::Start) .valign(gtk::Align::Start)