我正在开发一个用 Python 编写的文本编辑器 Gedit 的插件,我需要知道
Gtk.Document
文本中特定字符的格式(颜色等)。我尝试在 get_attibutes()
对象上调用 Gtk.TextIter
,但我无法从生成的 Gtk.TextAttributes
对象中获取任何内容。有什么想法吗?
Gnome 文本编辑器使用 Gtk.SourceView 作为基础,Gtk.SourceView 的功能之一是可以根据文件中使用的语言的语法应用预定的样式(重点是编程) 。这是通过 Gtk.Tags 完成的,要获取适用于某个 Gtk.TextIter 的标签,您必须使用
Gtk.TextIter.get_tags()
。