2017-11-02 05:03:24 +03:00
|
|
|
= Highlighters
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-11-02 05:03:24 +03:00
|
|
|
== Description
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2016-02-11 00:03:49 +03:00
|
|
|
Manipulation of the displayed text is done through highlighters, which can
|
|
|
|
be added or removed with the following commands:
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2017-11-01 14:00:44 +03:00
|
|
|
----------------------------------------------------------------------
|
|
|
|
add-highlighter <path> <highlighter_name> <highlighter_parameters> ...
|
|
|
|
----------------------------------------------------------------------
|
2016-02-02 22:15:12 +03:00
|
|
|
|
|
|
|
and
|
|
|
|
|
2017-11-01 14:00:44 +03:00
|
|
|
------------------------------------------
|
|
|
|
remove-highlighter <path>/<highlighter_id>
|
|
|
|
------------------------------------------
|
|
|
|
|
|
|
|
*path* is the name of an highlighter group, it is expressed as a */*
|
|
|
|
separated path starting with a scope. Scopes are *global*, *buffer*,
|
|
|
|
*window* and *shared*
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2016-02-11 00:03:49 +03:00
|
|
|
*highlighter_id* is a name generated by the highlighter specified with
|
|
|
|
*highlighter_name*, possibly dependent on the parameters. Use command
|
2017-11-06 12:08:59 +03:00
|
|
|
completion in a prompt on the *remove-highlighter* command to see the
|
|
|
|
existing highlighters ids.
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2017-11-02 05:03:24 +03:00
|
|
|
== General highlighters
|
|
|
|
|
2016-02-03 20:15:35 +03:00
|
|
|
*regex* <ex> <capture_id>:<face> ...::
|
2017-11-02 12:37:39 +03:00
|
|
|
highlight a regex, takes the regex as first parameter, followed by
|
|
|
|
any number of face parameters. For example:
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2017-11-01 14:00:44 +03:00
|
|
|
-------------------------------------------------------------------
|
|
|
|
add-highlighter window regex //\h*(TODO:)[^\n]* 0:cyan 1:yellow,red
|
|
|
|
-------------------------------------------------------------------
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2017-11-02 12:37:39 +03:00
|
|
|
will highlight C++ style comments in cyan, with an eventual 'TODO:'
|
|
|
|
in yellow on red background
|
2016-02-03 20:15:35 +03:00
|
|
|
|
|
|
|
*dynregex*::
|
2017-11-02 12:37:39 +03:00
|
|
|
Similar to regex, but expand (like a command parameter would) the
|
|
|
|
given expression before building a regex from the result
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2017-05-11 21:40:17 +03:00
|
|
|
*flag_lines* <face> <option_name>::
|
2017-11-02 12:37:39 +03:00
|
|
|
add a column in front of the buffer, and display the flags specified
|
|
|
|
in <option_name>, using <face>
|
2016-02-03 20:15:35 +03:00
|
|
|
|
|
|
|
*show_matching*::
|
2017-11-02 12:37:39 +03:00
|
|
|
highlight matching char of the character under the selections' cursor
|
|
|
|
using MatchingChar face
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2017-02-04 10:10:14 +03:00
|
|
|
*show_whitespaces* [options]::
|
2017-11-02 12:37:39 +03:00
|
|
|
display symbols on top of whitespaces to make them more explicit
|
|
|
|
using the Whitespace face, with the following *options*:
|
2017-02-04 10:10:14 +03:00
|
|
|
|
2017-11-02 12:37:39 +03:00
|
|
|
*-lf* <separator>:::
|
|
|
|
a one character long separator that will replace line feeds
|
2017-02-04 10:10:14 +03:00
|
|
|
|
2017-11-02 12:37:39 +03:00
|
|
|
*-spc* <separator>:::
|
|
|
|
a one character long separator that will replace spaces
|
2017-02-04 10:10:14 +03:00
|
|
|
|
2017-11-02 12:37:39 +03:00
|
|
|
*-nbsp* <separator>:::
|
|
|
|
a one character long separator that will replace non-breakable spaces
|
2017-02-04 10:10:14 +03:00
|
|
|
|
2017-11-02 12:37:39 +03:00
|
|
|
*-tab* <separator>:::
|
|
|
|
a one character long separator that will replace tabulations
|
2017-02-04 10:10:14 +03:00
|
|
|
|
2017-11-02 12:37:39 +03:00
|
|
|
*-tabpad* <separator>:::
|
|
|
|
a one character long separator that will be appended to tabulations to honor the *tabstop* option
|
2017-02-04 10:10:14 +03:00
|
|
|
|
2016-02-03 20:15:35 +03:00
|
|
|
*number_lines* [options]::
|
2017-11-02 12:37:39 +03:00
|
|
|
show line numbers, with the following *options*:
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2017-11-02 12:37:39 +03:00
|
|
|
*-relative*:::
|
|
|
|
show line numbers relative to the main cursor line
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2017-11-02 12:37:39 +03:00
|
|
|
*-hlcursor*:::
|
|
|
|
highlight the cursor line with a separate face
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2017-11-02 12:37:39 +03:00
|
|
|
*-separator* <separator text>:::
|
|
|
|
specify a string to separate the line numbers column with
|
|
|
|
the rest of the buffer (default is '|')
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2017-05-06 18:21:10 +03:00
|
|
|
*wrap* [options]::
|
2017-11-02 12:37:39 +03:00
|
|
|
soft wrap buffer text at window width, with the following *options*:
|
2017-05-06 18:21:10 +03:00
|
|
|
|
2017-11-02 12:37:39 +03:00
|
|
|
*-word*:::
|
|
|
|
wrap at word boundaries instead of codepoint boundaries.
|
2017-05-06 18:21:10 +03:00
|
|
|
|
2017-11-02 12:37:39 +03:00
|
|
|
*-indent*:::
|
|
|
|
preserve line indent when wrapping.
|
2017-11-01 20:26:00 +03:00
|
|
|
|
2017-11-02 12:37:39 +03:00
|
|
|
*-width <max_width>*:::
|
|
|
|
wrap text at *max_width* if the window is wider.
|
2017-06-08 09:05:44 +03:00
|
|
|
|
2017-08-31 16:08:57 +03:00
|
|
|
*fill* <face>::
|
2017-11-02 12:37:39 +03:00
|
|
|
fill using the given *face*, mostly useful with regions highlighters
|
2017-08-31 16:08:57 +03:00
|
|
|
|
2016-07-19 12:20:42 +03:00
|
|
|
*ranges* <option_name>::
|
2017-11-02 12:37:39 +03:00
|
|
|
use the data in the range-specs option of the given name to highlight
|
|
|
|
the buffer. The string part of the is interpretted as a face to apply
|
|
|
|
to the range.
|
2017-05-17 21:35:54 +03:00
|
|
|
|
|
|
|
*replace-ranges* <option_name>::
|
2017-11-02 12:37:39 +03:00
|
|
|
use the data in the range-specs option of the given name to highlight
|
|
|
|
the buffer. The string part of the is interpretted as a display line to
|
|
|
|
display in place of the range.
|
2016-07-19 12:20:42 +03:00
|
|
|
|
2017-08-31 16:08:57 +03:00
|
|
|
*column* <number> <face>::
|
2017-11-02 12:37:39 +03:00
|
|
|
highlight column *number* with face *face*
|
2017-08-31 16:08:57 +03:00
|
|
|
|
|
|
|
*line* <number> <face>::
|
2017-11-02 12:37:39 +03:00
|
|
|
highlight line *number* with face *face*
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2017-11-02 05:03:24 +03:00
|
|
|
== Highlighting Groups
|
|
|
|
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-11-12 17:44:04 +03:00
|
|
|
The *group* highlighter is a container for other highlighters. A subgroup
|
|
|
|
can be added to an existing group or scope using:
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-11-01 14:00:44 +03:00
|
|
|
-----------------------------------
|
|
|
|
add-highlighter <path> group <name>
|
|
|
|
-----------------------------------
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-11-01 14:00:44 +03:00
|
|
|
That group is then accessible using the *<path>/<name>* path
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-01-04 03:07:45 +03:00
|
|
|
------------------------------------------------
|
2017-11-01 14:00:44 +03:00
|
|
|
add-highlighter <path>/<name> <type> <params>...
|
2017-01-04 03:07:45 +03:00
|
|
|
------------------------------------------------
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-08-31 16:08:57 +03:00
|
|
|
In order to specify which kinds of highlighters can be added to a given group, the *-passes*
|
|
|
|
flag set can be passed along with the group name. Possible values for this option can be one
|
|
|
|
or several (separated with a pipe sign) of *colorize*, *move* or *wrap* (default: *colorize*):
|
|
|
|
|
2017-11-01 14:00:44 +03:00
|
|
|
--------------------------------------------------------------
|
|
|
|
add-highlighter window group -passes colorize|move|wrap <name>
|
|
|
|
--------------------------------------------------------------
|
2017-08-31 16:08:57 +03:00
|
|
|
|
2017-11-02 05:03:24 +03:00
|
|
|
== Regions highlighters
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2016-02-11 00:03:49 +03:00
|
|
|
A special highlighter provides a way to segment the buffer into regions,
|
|
|
|
which are to be highlighted differently.
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2016-02-03 20:15:35 +03:00
|
|
|
*name*::
|
2017-11-02 12:37:39 +03:00
|
|
|
user defined, used to identify the region
|
2016-02-03 20:15:35 +03:00
|
|
|
*opening*::
|
2017-11-02 12:37:39 +03:00
|
|
|
regex that defines the region start text
|
2016-02-03 20:15:35 +03:00
|
|
|
*closing*::
|
2017-11-02 12:37:39 +03:00
|
|
|
regex that defines the region end text
|
2016-02-03 20:15:35 +03:00
|
|
|
*recurse*::
|
2017-11-02 12:37:39 +03:00
|
|
|
regex that defines the text that matches recursively an end token
|
|
|
|
into the region
|
2016-02-03 20:15:35 +03:00
|
|
|
|
2016-02-11 00:03:49 +03:00
|
|
|
The *recurse* option is useful for regions that can be nested, for example
|
|
|
|
the following contruct:
|
2016-02-03 20:15:35 +03:00
|
|
|
|
|
|
|
----------
|
|
|
|
%sh{ ... }
|
|
|
|
----------
|
|
|
|
|
|
|
|
accepts nested braces scopes ('{ ... }') so the following string is valid:
|
|
|
|
|
|
|
|
----------------------
|
|
|
|
%sh{ ... { ... } ... }
|
|
|
|
----------------------
|
|
|
|
|
|
|
|
This region can be defined with:
|
|
|
|
|
|
|
|
------------------------
|
|
|
|
shell_expand %sh\{ \} \{
|
|
|
|
------------------------
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-04-21 13:32:47 +03:00
|
|
|
Regions are used in the region highlighters which can take any number
|
2016-02-11 00:03:49 +03:00
|
|
|
of regions.
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2016-02-03 20:15:35 +03:00
|
|
|
The following command:
|
|
|
|
|
2017-11-01 14:00:44 +03:00
|
|
|
------------------------------------------------------
|
|
|
|
add-highlighter <path> regions <name> \
|
|
|
|
<region_name1> <opening1> <closing1> <recurse1> \
|
|
|
|
<region_name2> <opening2> <closing2> <recurse2>...
|
|
|
|
------------------------------------------------------
|
2016-02-02 22:15:12 +03:00
|
|
|
|
|
|
|
defines multiple regions in which other highlighters can be added as follows:
|
|
|
|
|
2017-01-04 03:07:45 +03:00
|
|
|
-----------------------------------------------
|
2017-11-01 14:00:44 +03:00
|
|
|
add-highlighter <path>/<name>/<region_name> ...
|
2017-01-04 03:07:45 +03:00
|
|
|
-----------------------------------------------
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2016-02-11 00:03:49 +03:00
|
|
|
Regions are matched using the left-most rule: the left-most region opening
|
|
|
|
starts a new region. When a region closes, the closest next opening start
|
|
|
|
another region.
|
2016-02-02 22:15:12 +03:00
|
|
|
|
|
|
|
That matches the rule governing most programming language parsing.
|
|
|
|
|
2016-02-11 00:03:49 +03:00
|
|
|
Regions also supports a *-default <default_region>* switch to define the
|
|
|
|
default region, when no other region matches the current buffer range.
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-02-07 02:00:13 +03:00
|
|
|
If the *-match-capture* switch is passed, then region closing and recurse
|
|
|
|
matches are considered valid for a given region opening match only if they
|
|
|
|
matched the same content for the capture 1.
|
|
|
|
|
2017-04-21 13:32:47 +03:00
|
|
|
Most programming languages can then be properly highlighted using a region
|
2016-02-11 00:03:49 +03:00
|
|
|
highlighter as root:
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2016-02-03 20:15:35 +03:00
|
|
|
-----------------------------------------------------------------
|
2017-11-01 14:00:44 +03:00
|
|
|
add-highlighter <path> regions -default code <lang> \
|
2017-11-02 12:37:39 +03:00
|
|
|
string <str_opening> <str_closing> <str_recurse> \
|
|
|
|
comment <comment_opening> <comment_closing> <comment_recurse>
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-11-01 14:00:44 +03:00
|
|
|
add-highlighter <path>/<lang>/code ...
|
|
|
|
add-highlighter <path>/<lang>/string ...
|
|
|
|
add-highlighter <path>/<lang>/comment ...
|
2016-02-03 20:15:35 +03:00
|
|
|
-----------------------------------------------------------------
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-11-02 05:03:24 +03:00
|
|
|
== Shared Highlighters
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2016-02-11 00:03:49 +03:00
|
|
|
Highlighters are often defined for a specific filetype, and it makes then
|
|
|
|
sense to share the highlighters between all the windows on the same filetypes.
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-11-01 14:00:44 +03:00
|
|
|
Highlighters can be put in the shared scope in order to make them reusable.
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-11-01 14:00:44 +03:00
|
|
|
---------------------------------------
|
|
|
|
add-highlighter shared/<group_name> ...
|
|
|
|
---------------------------------------
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2016-02-11 00:03:49 +03:00
|
|
|
The common case would be to create a named shared group, and then fill it
|
|
|
|
with highlighters:
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-11-01 14:00:44 +03:00
|
|
|
---------------------------------------
|
|
|
|
add-highlighter shared/ group <name>
|
|
|
|
add-highlighter shared/<name> regex ...
|
|
|
|
---------------------------------------
|
2016-02-02 22:15:12 +03:00
|
|
|
|
|
|
|
It can then be referenced in a window using the ref highlighter.
|
|
|
|
|
2017-01-04 03:07:45 +03:00
|
|
|
--------------------------
|
|
|
|
add-highlighter ref <name>
|
|
|
|
--------------------------
|
2016-02-02 22:15:12 +03:00
|
|
|
|
2017-11-01 14:00:44 +03:00
|
|
|
The ref can reference any named highlighter in the shared scope.
|