339
341
* plugins to unload? We are probably not going to have large numbers of
340
342
* plugins loaded at the same time, so it might not be worth it.
342
348
mutter_plugin_manager_unload (plugin_mgr);
343
349
return mutter_plugin_manager_load (plugin_mgr);