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 versions. At this point, am seriously thinking `we really should get some GtkHTML2 bindings, just to use CSS2'. Miguel.