[Gtk-sharp-list] Re: [Mono-docs-list] Monodoc editing ideas.
Miguel de Icaza
13 Sep 2003 16:30:46 -0400
> > 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