Mixer Utility to deselect quickly a source

Mixer.cpp

@@ -500,6 +500,16 @@ void Mixer::uncover(Source *s)
     }
 }
 
+
+void Mixer::deselect(Source *s)
+{
+    if ( s != nullptr ) {
+        if ( s == *current_source_)
+            unsetCurrentSource();
+        Mixer::selection().remove(s);
+    }
+}
+
 void Mixer::deleteSelection()
 {
     // get clones first : this way we store the history of deletion in the right order

Mixer.h

@@ -50,6 +50,7 @@ public:
     void renameSource (Source *s, const std::string &newname);
     void attach       (Source *s);
     void detach       (Source *s);
+    void deselect     (Source *s);
     void deleteSelection();
 
     // current source