|
pkgsrc里的devhelp是0.7版本的，相当老，默认使用gtkhtml2来显示HTML，速度快。
试用过最新的0.11版，没什么新功能，速度却慢了很多--用FIREFOX的GTK2 WIDGET。
所以还是换回来。
0.7版有个小BUG，当你打开多个HTML的时候，会发生“打开文件太多”的错误，导致程序不可用。
做了个简单的PATCH：
assiss % cat patches/patch-ad
--- src/dh-html-gtkhtml2.c.orig 2006-08-09 19:44:10.000000000 +0000
+++ src/dh-html-gtkhtml2.c 2006-08-09 20:06:37.000000000 +0000
@@ -247,6 +247,7 @@
READER_QUEUE_TYPE_FINISHED);
g_async_queue_push (priv->thread_queue, q_data);
+ gnome_vfs_close(handle);
return NULL;
} |
使用方法：
1、加到文件patch/patch-ad中
2、cd /usr/pkgsrc/devel/devhelp && make mdi刷新distinfo
3、make install
|
相关文章
