Имена стилей в 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)

Идентификатор стиля. Это используется на текущем языке для ссылки на этот стиль и должно быть уникальным для текущего документа. Он может содержать строку букв, цифр, дефисов ("-") и подчеркиваний ("_").

Вы также можете найти больше информации здесь.

Надеюсь, это поможет.

Другие вопросы по тегам