[Gtk-sharp-list] Re: [Mono-docs-list] Monodoc editing ideas.

[Miguel de Icaza]

Hello!

> >   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.
> >  
> >
> Attached is a patch that adds an Edit toggle menu, and also a collapse 
> all menu (for the treeview).  I didn't see an obvious way to make the 
> ecma-provider aware of the status of the menuitem, however, it left me 
> wondering if this should be done in another place so other providers can 
> also have editing.  Any thoughts?

Great patch!  But could we have the code set some kind of check-mark
next to the edit setting, so it is obvious what the current state is?

> >   At this point, am seriously thinking `we really should get some
> >GtkHTML2 bindings, just to use CSS2'.
> >  
> >
> Is there a reason not to use Mozilla? (Except for we don't want to have 
> Mozilla as a dependency)

Just that Mozilla takes a long time to load