Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
[BUG] region_highlight+=( "$start $end standout" ) doesn't work as expected
- X-seq: zsh-workers 43862
- From: Sebastian Gniazdowski <sgniazdowski@xxxxxxxxx>
- To: Zsh hackers list <zsh-workers@xxxxxxx>
- Subject: [BUG] region_highlight+=( "$start $end standout" ) doesn't work as expected
- Date: Thu, 6 Dec 2018 08:03:37 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=G/+J1TvJETiAtzoAbwUs004ejQkyH30si6Svinm+Nwg=; b=aomaqsj1LVJ0bUeYGVAssXRhOiaRdw4jTU1sjQAHBo4/pN8iu71EDkvO0s42GLpcps MQ8E+YKk5eI3md6rOpmBm/vgwzfRssMqNDm1wQgZ/qDQVwOTYPxfqtiZWDJXX+mCSKk9 LAjX9xVT4KBf5XePI8whJJrl/aRA0buDfdLwDPhfi5Oe7Qj1M4K2V+hWJwZPpmaOkUcS /siRn8Sn7SBWNAAlqu7VHYvicwyWHiBU1zUxO0tVVbtUy2ATPh9f95Tzt9LOBWWJcLEt +yZeVWQzCD42XMoM/3qMoZnaktDVZ8lDqp9KqAFInHwosnrbQfejMDEc9EquwS2pz1x8 qXCQ==
- List-help: <mailto:zsh-workers-help@zsh.org>
- List-id: Zsh Workers List <zsh-workers.zsh.org>
- List-post: <mailto:zsh-workers@zsh.org>
- List-unsubscribe: <mailto:zsh-workers-unsubscribe@zsh.org>
- Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
Hello,
if the first character at which "$start $end standout" should be
applied, i.e. $start character, is already highlighted, the style
standout will not be applied to it:
http://psprint.blinkenshell.org/standout-wrong-1.gif
Confirmation: If I manually force F-Sy-H code to clear previous
region_highlight content's before appliying "$start $end standout" to
region_highlight, then everything works – i.e. also $start character
is highlighted:
http://psprint.blinkenshell.org/standout-ok-2.gif
So basically the problem is: no standout-highlighting of $start
character if region_highlight has already an entry covering the $start
character.
I.e. region_highlight+=( "$start $end standout" ) will not work for
$start character.
A more permanent link for the gifs:
https://github.com/zdharma/fast-syntax-highlighting/issues/92#issuecomment-444768370
--
Sebastian Gniazdowski
News: https://twitter.com/ZdharmaI
IRC: https://kiwiirc.com/client/chat.freenode.net:+6697/#zplugin
Blog: http://zdharma.org
Messages sorted by:
Reverse Date,
Date,
Thread,
Author