在 中/usr/share/gtksourceview-3.0/styles/kate.xml
,我看到了这一行:
<style name="draw-spaces" foreground="#d3d7cf"/>
是什么draw-spaces
意思?是否有一些资源可以解释这个以及在 中找到的样式中使用的其他术语/usr/share/gtksourceview-3.0/styles/
?
(关于语法高亮有很多信息但我并不需要。)
在 中/usr/share/gtksourceview-3.0/styles/kate.xml
,我看到了这一行:
<style name="draw-spaces" foreground="#d3d7cf"/>
是什么draw-spaces
意思?是否有一些资源可以解释这个以及在 中找到的样式中使用的其他术语/usr/share/gtksourceview-3.0/styles/
?
(关于语法高亮有很多信息但我并不需要。)