-
Committer:
Mariano Draghi
-
Date:
2012-03-11 22:09:17 UTC
-
Revision ID:
mdraghi@gmail.com-20120311220917-jtvsf7t1ltm6c0cc
Made a little bit more robust the plugin handling when loading (or changing) a profile. Any independent plugin already loaded is kept (and added to the profile if necessary). Any other loaded plugin not present in the profile preferences is unloaded.