plugins BEFORE we release.

2001-05-19  Jody Goldberg <jgoldberg@home.com>

	* plugin-manager.glade : convert the vertical scrollbars to
	  autoscroll.

2001-05-19  Jody Goldberg <jgoldberg@home.com>

	* src/plugin.c (plugin_db_extend_saved_active_plugin_id_list) : Merge
	  into plugin_db_init.
	(plugin_db_init) : Find the unknown plugins not the known plugins.
	  Remove the list of plugins that default to on.
	  Fix the use of gnome_config.