python - PyGTKsourceview 的搜索功能

Question

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

有人有建议吗？我发现文档不是很冗长，并且在网络上找不到真正的工作示例。

提前致谢。

Answer 1

C API的参考可能会有所帮助，包括我发现的“Searching in a GtkSourceBuffer”这一章。

与超类gtk.TextBuffer的参考一样

Answer 2

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