When filtering the Tree find widget obscures the top tree nodes: <img width="370" alt="image" src="https://user-images.githubusercontent.com/4674940/187488240-1c61c94b-393f-4c09-b0b0-32d33fc7bbb4.png"> In the editor we introduce an artificial margin to prevent this from happening.