Remove plugins from global & non-global plugins when they are removed from settings#3802
Merged
Jack251970 merged 3 commits intodevfrom Jul 6, 2025
Merged
Remove plugins from global & non-global plugins when they are removed from settings#3802Jack251970 merged 3 commits intodevfrom
Jack251970 merged 3 commits intodevfrom