Felix Roos faaed61384 fix: do not sync activePattern between tabs
+ only deselect activePattern if code in url differs
2023-12-11 22:01:08 +01:00
..
2023-08-19 00:19:32 +02:00
2023-08-19 00:19:32 +02:00
2023-08-19 00:19:32 +02:00
2023-11-17 20:37:21 +01:00