2016-02-09 10:52:18 +01:00
|
|
|
# https://www.latex-project.org/
|
|
|
|
#
|
|
|
|
|
|
|
|
# Detection
|
|
|
|
# ‾‾‾‾‾‾‾‾‾
|
|
|
|
|
|
|
|
hook global BufCreate .*\.tex %{
|
2017-11-03 08:34:41 +01:00
|
|
|
set-option buffer filetype latex
|
2016-02-09 10:52:18 +01:00
|
|
|
}
|
|
|
|
|
2019-04-10 05:54:19 +02:00
|
|
|
# Initialization
|
|
|
|
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
|
|
|
|
|
|
|
hook global WinSetOption filetype=latex %{
|
2019-03-13 22:00:59 +01:00
|
|
|
require-module latex
|
|
|
|
}
|
|
|
|
|
2019-04-10 05:54:19 +02:00
|
|
|
hook -group latex-highlight global WinSetOption filetype=latex %{
|
|
|
|
add-highlighter window/latex ref latex
|
|
|
|
hook -once -always window WinSetOption filetype=.* %{ remove-highlighter window/latex }
|
|
|
|
}
|
|
|
|
|
2019-03-13 22:00:59 +01:00
|
|
|
provide-module latex %(
|
|
|
|
|
2016-02-09 10:52:18 +01:00
|
|
|
# Highlighters
|
|
|
|
# ‾‾‾‾‾‾‾‾‾‾‾‾
|
|
|
|
|
2018-07-01 11:53:35 +02:00
|
|
|
add-highlighter shared/latex regions
|
|
|
|
add-highlighter shared/latex/content default-region group
|
2018-07-02 12:59:12 +02:00
|
|
|
add-highlighter shared/latex/comment region '(?<!\\)%' '\n' fill comment
|
2016-02-09 10:52:18 +01:00
|
|
|
|
|
|
|
# Scopes, starting with a backslash
|
2018-07-01 11:53:35 +02:00
|
|
|
add-highlighter shared/latex/content/ regex '\\(?!_)\w+\b' 0:keyword
|
2016-02-09 10:52:18 +01:00
|
|
|
# Options passed to scopes, between brackets
|
2018-07-01 11:53:35 +02:00
|
|
|
add-highlighter shared/latex/content/ regex '\\(?!_)\w+\b\[([^\]]+)\]' 1:value
|
2016-02-09 10:52:18 +01:00
|
|
|
# Content between dollar signs/pairs
|
2018-08-09 11:27:40 +02:00
|
|
|
add-highlighter shared/latex/content/ regex '(\$(\\\$|[^$])+\$)|(\$\$(\\\$|[^$])+\$\$)' 0:meta
|
2016-02-09 10:52:18 +01:00
|
|
|
# Emphasized text
|
2018-07-01 11:53:35 +02:00
|
|
|
add-highlighter shared/latex/content/ regex '\\(emph|textit)\{([^}]+)\}' 2:default+i
|
2016-02-09 10:52:18 +01:00
|
|
|
# Bold text
|
2018-07-01 11:53:35 +02:00
|
|
|
add-highlighter shared/latex/content/ regex '\\textbf\{([^}]+)\}' 1:default+b
|
2016-02-09 10:52:18 +01:00
|
|
|
|
2019-03-13 22:00:59 +01:00
|
|
|
)
|