deadbeef random

В телефоне на андроиде у меня примерно 250 песен. Ставлю рандом. Слушаю, когда иду до метро, в метро, и от метро да работы и когда еду домой. В общем впоймал себя на мысли о том, что я всегда слушаю одни и те же песни. В плеерах рандом неправильный))). Исходя из того, что на лоре тусят разработчики deadbeef предлагаю им заимплементировать такой рандом: создаем теневой список песен и если песня прозвучала, удаляем из теневого списка т.к рандом может несколько раз еще раз ее проиграть. Когда размер списка == 0, опять создаем весь список и опять проиграла песня - удаляем из списка. Когда генерятся всякие кеи - повторять число - это нормально, но не в плеере при прослушивании песен.