about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog2
-rw-r--r--Doc/Zsh/params.yo6
-rw-r--r--Doc/Zsh/zle.yo2
3 files changed, 10 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index d22a2c821..19c847046 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2015-07-24  Barton E. Schaefer  <schaefer@zsh.org>
 
+	* 35896: Doc/Zsh/params.yo, Doc/Zsh/zle.yo: index zle_highlight
+
 	* 35882: Src/Zle/iwidgets.list: read-command has ZLE_NOTCOMMAND
 
 2015-07-24  Daniel Shahaf  <d.s@daniel.shahaf.name>
diff --git a/Doc/Zsh/params.yo b/Doc/Zsh/params.yo
index e2091624b..a4067883a 100644
--- a/Doc/Zsh/params.yo
+++ b/Doc/Zsh/params.yo
@@ -1659,6 +1659,12 @@ enable bracketed paste when ZLE is active and disable it at other times.
 Unsetting the parameter has the effect of ensuring that bracketed paste
 remains disabled.
 )
+vindex(zle_highlight)
+item(tt(zle_highlight))(
+An array describing contexts in which ZLE should highlight the input text.
+See ifzman(em(Character Highlighting) in zmanref(zshzle))\
+ifnzman(noderef(Character Highlighting)).
+)
 vindex(ZLE_LINE_ABORTED)
 item(tt(ZLE_LINE_ABORTED))(
 This parameter is set by the line editor when an error occurs.  It
diff --git a/Doc/Zsh/zle.yo b/Doc/Zsh/zle.yo
index ef73f4d55..3cdb4fe00 100644
--- a/Doc/Zsh/zle.yo
+++ b/Doc/Zsh/zle.yo
@@ -29,6 +29,7 @@ line editor. See
 ifzman(em(Parameters Used By The Shell) in zmanref(zshparam))\
 ifnzman(noderef(Parameters Used By The Shell)).
 
+vindex(zle_highlight, use of)
 The parameter tt(zle_highlight) is also used by the line editor; see
 ifzman(em(Character Highlighting) below)\
 ifnzman(noderef(Character Highlighting)).  Highlighting
@@ -2457,6 +2458,7 @@ enditem()
 texinode(Character Highlighting)()(Zle Widgets)(Zsh Line Editor)
 sect(Character Highlighting)
 
+vindex(zle_highlight, setting)
 The line editor has the ability to highlight characters or regions
 of the line that have a particular significance.  This is controlled
 by the array parameter tt(zle_highlight), if it has been set by the user.