Already activated plugins do not need to be added again to `editor_plugins_over`. `fold_resource()` changes `active_plugins` and is unsafe to call while iterating over `active_plugins`. (cherry picked from commit 411f4763198b14d38db1afd296853996b2a5599a)
315 KiB
315 KiB