python - 在 gtksource.view 中搜索并突出显示？

Question

Gedit 使用搜索突出显示。我知道 Gedit 使用 gtksourceview，并且想知道该搜索机制是如何实现的。