Имена стилей в gtksourceview
В /usr/share/gtksourceview-3.0/styles/kate.xml
Я вижу эту строку:
<style name="draw-spaces" foreground="#d3d7cf"/>
Что значит draw-spaces
имею в виду? Есть ли какой-то ресурс, который объясняет этот и другие термины, используемые в стилях, найденных в /usr/share/gtksourceview-3.0/styles/
?
(Там много информации о подсветке синтаксиса, но я не хочу этого.)
1 ответ
id (mandatory)
Идентификатор стиля. Это используется на текущем языке для ссылки на этот стиль и должно быть уникальным для текущего документа. Он может содержать строку букв, цифр, дефисов ("-") и подчеркиваний ("_").
Вы также можете найти больше информации здесь.
Надеюсь, это поможет.