-
Committer:
Paulo Cabido
-
Date:
2009-07-26 22:24:46 UTC
-
Revision ID:
paulo.cabido@gmail.com-20090726222446-u7only23mqn5aqjw
added deactivatePlugins to the plugin-engine, get_config to the plugin api, added these changes to the browser and to the editor and made some changes on the plugin itself