First of: this is great! Thank you!
Minor issue:
-
Create a slave panel, with a custom filter. Lets call it SlaveA
-
Clone this panel, as SlaveB
-
in SlaveB, modify the custom filter
-
pin this new filter, and name it “Hello World”
-
click on the ‘pinned filters’ icon of this cloned SlaveB panel:
-
result: “Hello World” shows up
-
go back to the SlaveA panel, and click on the ‘pinned filters’ icon
-
result: the “Hello World” filter is missing
-
now click on the filters icon:
-
open the ‘pinned filters’ dropdown, “Hello World” is there
-
now click again on the ‘pinned filters’ icon in SlaveA
result: filter now shows up