musescore/MuseScore — pull request #1065 by BartlomiejLewandowski (2014-07-24 14:02:12+00:00)
Title: Selection filter

This is the second go at the selection filter.
The previous approach can be found at PR #954.