python - PyGTKsourceviewによる検索機能

Question

私は主に個人的な使用のために Python で小さな html エディターを作成しており、gtksourceview2 オブジェクトを Python コードに統合しています。すべての市長機能は多かれ少なかれ機能しているようですが、検索機能が機能しません。明らかに、GUI の作業は既に行われていますが、GTKsourceview.Buffer オブジェクト ( http://www.gnome.org/~gianmt/pygtksourceview2/class-gtksourcebuffer2.html ) のメソッドを実際に組み込む方法がわかりません。その中のテキストを検索します。

誰か提案がありますか？ドキュメントはあまり冗長ではなく、Web 上で実際に動作する例を見つけることができません。

前もって感謝します。

Answer 1

C APIのリファレンスは、私が見つけたこの章「GtkSourceBuffer での検索」を含め、おそらく役立つ可能性があります。

スーパークラスgtk.TextBufferのリファレンスと同様

Answer 2

これがpythonドキュメントです。最新のドキュメントが見つからなかったため、ドロップボックスに詰め込みました。ここにリンクがあります。注目したいのはgtk.iter_forward_searchandgtk.iter_backward_search関数です。