[feature-request] Pin "Filter..." to "Project tree" so that when you scroll, it remains on top

[theodor_the_1st]

Not quite a feature-request. Could be pinned, or not...
Thank you!

[jean-emmanuel]

Yes pinned is better.