Somehow my filter function is inverted. When I am using Dorico 5 on my desktop and filter notes and chords with the Jump bar, everything else in the selection is highlighted except notes and chords. The same command on my laptop functions correctly. Have I accidentally inverted the function? If so, where are the preference settings for the jump bar, please?