[Mono-docs-list] Monodoc editing ideas.

Miguel de Icaza miguel@ximian.com
12 Sep 2003 12:52:34 -0400

Hey guys,

   Some ideas I had this morning while doing my line at the embassy:

	* Support a `[Revert]' button.

	* We need an Edit/Toggle menu item, the MONODOC_EDITING hack is 
	  not what we want;  It was just a quick early-hack.

	* "Compare" button to render the pristine versus edited

   At this point, am seriously thinking `we really should get some
GtkHTML2 bindings, just to use CSS2'.