Static tag filter pane since v40

It is exactly this feature that I miss from v40: “Only Tags in the Current Filter”.