diff options
author | Miguel de Icaza <miguel@gnome.org> | 2007-07-31 18:44:29 +0400 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2007-07-31 18:44:29 +0400 |
commit | f24c596f39d79b645ca51aa8c00c4acb66141aa9 (patch) | |
tree | ea72a431a21646b8ed9606f778cae45c30aac35c /docbrowser | |
parent | 3082e93da578fbf9f0a33baf529d23a3c6b0e203 (diff) |
Update
svn path=/trunk/mono-tools/; revision=83086
Diffstat (limited to 'docbrowser')
-rw-r--r-- | docbrowser/browser.cs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/docbrowser/browser.cs b/docbrowser/browser.cs index 2470b93d..f9ebd30d 100644 --- a/docbrowser/browser.cs +++ b/docbrowser/browser.cs @@ -627,8 +627,11 @@ public class Browser { { CurrentUrl = url; CurrentTab.CurrentNode = matched_node; - if (highlight_text != null) - text = DoHighlightText (text); + + // Comment out, thta routine is completely broken, someone needs to redo it + // it crashes randomly + //if (highlight_text != null) + //text = DoHighlightText (text); CurrentTab.html.Render(text); |