diff options
Diffstat (limited to 'libs/ardour/midi_patch_manager.cc')
| -rw-r--r-- | libs/ardour/midi_patch_manager.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/ardour/midi_patch_manager.cc b/libs/ardour/midi_patch_manager.cc index ac57ae93c6..717f290944 100644 --- a/libs/ardour/midi_patch_manager.cc +++ b/libs/ardour/midi_patch_manager.cc @@ -83,7 +83,7 @@ MidiPatchManager::add_session_patches () _documents[device->first] = document; // build a list of all master devices from all documents _master_devices_by_model[device->first] = device->second; - _all_models.push_back(device->first); + _all_models.insert(device->first); // make sure there are no double model names // TODO: handle this gracefully. @@ -119,7 +119,7 @@ MidiPatchManager::refresh() _documents[device->first] = document; // build a list of all master devices from all documents _master_devices_by_model[device->first] = device->second; - _all_models.push_back(device->first); + _all_models.insert(device->first); // make sure there are no double model names // TODO: handle this gracefully. |