Autres/audacity
1
0
Fork 0
mirror of https://github.com/cookiengineer/audacity synced 2025-07-31 16:09:28 +02:00
Code Issues Releases Wiki Activity

More careful sorting of effects...

Browse Source 
... when grouping by two criteria (publisher and name or type and name).

Use a stable sort for the second sort so that the minor sort (done first) is
sure not to be destoyed.

Maybe this never mattered (depending on the implementation of std::sort and
its threshold for doing small sorts by insertion).
This commit is contained in:
Paul Licameli 2018-10-19 08:03:07 -04:00
parent c067ad5b37
commit 52672ed5e2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Menus.cpp
View File

@ -1910,7 +1910,8 @@ void MenuCreator::PopulateEffectsMenu(CommandManager* c,
comp1 = comp2 = SortEffectsByName;
std::sort( defplugs.begin(), defplugs.end(), comp1 );
std::sort( optplugs.begin(), optplugs.end(), comp2 );
if ( comp1 != comp2 )
std::stable_sort( optplugs.begin(), optplugs.end(), comp2 );
AddEffectMenuItems(c, defplugs, batchflags, realflags, true);