290 |
// dies. |
// dies. |
291 |
} |
} |
292 |
|
|
293 |
|
#if 0 // currently unused : |
294 |
/** |
/** |
295 |
* Try to inform the respective instrument editor(s), that a note on |
* Try to inform the respective instrument editor(s), that a note on |
296 |
* event just occured. This method is called by the MIDI thread. If any |
* event just occured. This method is called by the MIDI thread. If any |
332 |
} |
} |
333 |
InstrumentEditorProxiesMutex.Unlock(); // naively assumes RT safe implementation |
InstrumentEditorProxiesMutex.Unlock(); // naively assumes RT safe implementation |
334 |
} |
} |
335 |
|
#endif // unused |
336 |
|
|
337 |
void InstrumentResourceManager::OnSamplesToBeRemoved(std::set<void*> Samples, InstrumentEditor* pSender) { |
void InstrumentResourceManager::OnSamplesToBeRemoved(std::set<void*> Samples, InstrumentEditor* pSender) { |
338 |
if (Samples.empty()) { |
if (Samples.empty()) { |