From 402ac1f40f494bb6c535f00a232cf97b99c4ff07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Cerveau?= <scerveau@collabora.com>
Date: Mon, 7 Feb 2022 12:09:56 +0100
Subject: [PATCH] properties: display the number of elements found

---
 src/ui/properties.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ui/properties.rs b/src/ui/properties.rs
index 370b084..53bf0cb 100644
--- a/src/ui/properties.rs
+++ b/src/ui/properties.rs
@@ -348,7 +348,7 @@ pub fn display_pipeline_details(app: &GPSApp) {
     if let Some(elements) = app.player.borrow().pipeline_elements() {
         let elements_list = elements.join(" ");
         let label = gtk::Label::builder()
-            .label("Elements:")
+            .label(&format!("{} elements:", elements.len()))
             .hexpand(true)
             .halign(gtk::Align::Start)
             .valign(gtk::Align::Start)