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

Community Feature requests
1

image

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

2

Yes pinned is better.

1 Like