使用PyGTKsourceview搜索功能

Question

我正在python中编写一个小的html编辑器，主要供个人使用，并将gtksourceview2对象集成到我的Python代码中。所有市长职能似乎或多或少都有效，但我无法使用搜索功能。 Obvioiusly GUI工作已经完成，但我无法弄清楚如何以某种方式构建GTKsourceview.Buffer对象（http://www.gnome.org/~gianmt/pygtksourceview2/class-gtksourcebuffer2.html）的方法来实际搜索其中的文本。

有人有建议吗？我发现文档不是很冗长，也无法在网上找到一个有效的例子。

提前致谢。

Answer 1

reference for the C API可能会有所帮助，包括我在"Searching in a GtkSourceBuffer"找到的这一章。

作为超类gtk.TextBuffer

的参考

Answer 2

这是python doc，我找不到任何最新的文档，所以我把它塞进我的Dropbox。这是link。您要查看的是gtk.iter_forward_search和gtk.iter_backward_search函数。