Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: PATCH: random attribute stuff
- X-seq: zsh-workers 24950
- From: Peter Stephenson <pws@xxxxxxx>
- To: zsh-workers@xxxxxxxxxx (Zsh hackers list)
- Subject: Re: PATCH: random attribute stuff
- Date: Tue, 06 May 2008 16:48:52 +0100
- In-reply-to: <080506083802.ZM1323@xxxxxxxxxxxxxxxxxxxxxx>
- Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
- References: <200805060915.m469FeJP017551@xxxxxxxxxxxxxx> <080506073442.ZM22499@xxxxxxxxxxxxxxxxxxxxxx> <200805061442.m46Eg7bN000588@xxxxxxxxxxxxxx> <080506075838.ZM1161@xxxxxxxxxxxxxxxxxxxxxx> <200805061510.m46FA71C001035@xxxxxxxxxxxxxx> <080506083802.ZM1323@xxxxxxxxxxxxxxxxxxxxxx>
Bart Schaefer wrote:
> } It ought to be (but might turn out not to be) fairly easy to add a
> } "default" element to zle_highlight that causes the given attributes to
> } be used as the default set for the command line, which would probably
> } work a lot better, and then deprecate any reliance on what the prompt
> } happened to produce.
>
> Sounds reasonable to me, but could get ugly if a widget were to change
> it on the fly -- do you trap that and reprint the entire buffer, or do
> you allow blotches of different attributes as areas are selectively
> repainted, or do you make that setting read-only in widgets?
It's likely to be implement in zle_refresh.c, so the answer is probably
that it changes at the next refresh, which I think ought to work OK.
--
Peter Stephenson <pws@xxxxxxx> Software Engineer
CSR PLC, Churchill House, Cambridge Business Park, Cowley Road
Cambridge, CB4 0WZ, UK Tel: +44 (0)1223 692070
Messages sorted by:
Reverse Date,
Date,
Thread,
Author