[Mono-docs-list] store/restore editing settings

[Miguel de Icaza]

Hello,

> Here is a quick patch to store and restore the editing settings.  This 
> is only a temporary solution for two reasons: it doesn't effect monodoc 
> until the next time it is run, and it is specific to having one 
> setting.  Let me know if I can commit. Thanks.

A few comments:

	I would like to use ~/.etc/monodoc instead of ~/.monodoc

	The code should create the directory if it is not existant.

	The settings should be a serializer on the Settings class, not
	on bool, so we can easily add more information.

Could you post an updated patch?

Miguel.