documentation fr: new features

[perso/Immae/Projets/Python/MusicSampler.git] / helpers / mapping.py

diff --git a/helpers/mapping.py b/helpers/mapping.py
index 1256696a8968bfe58ea843ff8a0cfc1874fa0471..bb20e679b1e4a9eb8312e0404a913411b178e93c 100644 (file)
--- a/helpers/mapping.py
+++ b/helpers/mapping.py
@@ -169,11 +169,13 @@ class Mapping(RelativeLayout):
             self.ready_color = [1, 165/255, 0, 1]
 
     ## Some global actions
-    def stop_all_running(self):
+    def stop_all_running(self, except_key=None, key_start_time=0):
         running = self.running
-        self.running = []
+        self.running = [r for r in running\
+                if r[0] == except_key and r[1] == key_start_time]
         for (key, start_time) in running:
-            key.interrupt()
+            if (key, start_time) != (except_key, key_start_time):
+                key.interrupt()
 
     # Master volume methods
     @property
@@ -375,7 +377,8 @@ class Mapping(RelativeLayout):
                                 self.open_files[filename]\
                                         .reload_properties(**music_property)
 
-                                seen_files[filename] = self.open_files[filename]
+                                seen_files[filename] =\
+                                        self.open_files[filename]
                             else:
                                 seen_files[filename] = MusicFile(
                                         filename, self, **music_property)