[Mono-dev] [PATCH] Monodoc. Workaround for a bug and index improvements
snorp at snorp.net
Sat Sep 17 20:07:40 EDT 2005
I'd like to try the patch, but it seems you forgot to attach it :)
On Fri, 2005-09-16 at 16:36 +0200, Mario Sopena wrote:
> We have a problem in Monodoc when showing big html code with
> gecko. Monodoc hangs and do nothing (try to load the Gtk Namespace).
> This is due to a bug in gtkmozembed
> (https://bugzilla.mozilla.org/show_bug.cgi?id=245960). The workaround
> I've implemented writes the html on disk and loads the file from it,
> when the html code is big enough. The file is being writen to a temp
> The only thing I'm not sure is whether I should myself delete what I
> write there or if I can just leave that for the system (for the
> moment, nothing is removed).
> The other thing that comes with this patch is a user-feature requested
> by miguel. The index and the search_index require those index to be
> create prior to use them. Right now, if they don't exist, a label is
> showed telling you that you have to run a command in root to create
> With this patch, monodoc looks for the index also in the user dir, and
> when it doesn't find them, it shows a panel with a progress bar that
> lets you make them at that time. The index are created in another
> Thread, so you can use monodoc while making them (specially the search
> index is slow, well, around a minute in my machine).
> To try the patch, remove your monodoc.index file and search_index dir
> from the monodoc directory and run the patched monodoc.
> Hope you all enjoy it. Comments please?!?
> Mono-devel-list mailing list
> Mono-devel-list at lists.ximian.com
More information about the Mono-devel-list