diff options
| author | David Robillard <d@drobilla.net> | 2013-01-19 19:25:06 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2013-01-19 19:25:06 +0000 |
| commit | 2d9a15087bad6dfaeedd259b2fe948627d3b5ffb (patch) | |
| tree | 507a37f482510281ba7ee18a7c1e6dc1c012a1c2 /libs/ardour/midi_patch_manager.cc | |
| parent | ca41354e466333425ae7ed5d99486ca5b5a125be (diff) | |
Use a std::set for MIDI device models so the combo is sorted and the user can find things.
git-svn-id: svn://localhost/ardour2/branches/3.0@13902 d708f5d6-7413-0410-9779-e7cbd77b26cf
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. |