~chaghi/zim/zim-profiles

Viewing all changes in revision 520.

  • 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.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: