Merge pull request #1994 from Airblader/bug-1992

Make pango markup in mode names optional with a flag.
This commit is contained in:
Michael Stapelberg
2015-10-13 12:08:42 -07:00
15 changed files with 90 additions and 42 deletions

View File

@ -717,11 +717,15 @@ This event consists of a single serialized map containing a property
This event consists of a single serialized map containing a property
+change (string)+ which holds the name of current mode in use. The name
is the same as specified in config when creating a mode. The default
mode is simply named default.
mode is simply named default. It contains a second property, +pango_markup+, which
defines whether pango markup shall be used for displaying this mode.
*Example:*
---------------------------
{ "change": "default" }
{
"change": "default",
"pango_markup": true
}
---------------------------
=== window event