Изменение файлов gtksourceview с добавлением стиля

Я хочу изменить способ отображения маркеров списка файлов уценки в GEdit в теме tomorrow_night-eighties.xml, которую я загрузил с https://wiki.gnome.org/Projects/GtkSourceView/StyleSchemes. Я знаю, что GEdit загружает свои языковые спецификации из

/usr/share/gtksourceview-3.0/language-specs/

Файл языка разметки - markdown.lang. Стили находятся в моем каталоге пользователей:

~/.local/share/gtksourceview-2.0/styles

Я сделал следующее:

  1. Я добавил: <style name="markdown:list-marker" foreground="#cc99cc" bold="true"/> в список доступных стилей в документе стиля в папке .local/share/.... моего пользователя.

  2. Я изменил языковые спецификации:

    <style id="list-marker" _name="List Marker" map-to="markdown:list-marker"/> в <styles>...</styles> регионе / теге, чтобы сделать его доступным для дальнейших ссылок.

Моя тема установлена ​​на tomorrow_night-eighties.xml, которая есть в моем ~/.local/share/gtksourceview-2.0/styles, и открывается файл уценки. После изменения GEdit больше не выделяет маркеры списка.

Я не понимаю, чего не хватает? Я только изменил ссылку и ввел новый стиль и вообще не изменил регулярное выражение, так почему это мешает ему выделяться?


person Zelphir Kaltstahl    schedule 29.09.2016    source источник


Ответы (1)


Кажется, что GEdit не замечает автоматически изменения в этих файлах, и нужно повторно импортировать стили в настройках и просто для уверенности также перезапустить GEdit, если языковой файл изменился.

person Zelphir Kaltstahl    schedule 29.09.2016