zsh-workers
 help / color / mirror / code / Atom feed
* Re: Style names
@ 2000-02-21  8:49 Sven Wischnowsky
  2000-02-21 20:07 ` PATCH: " Peter Stephenson
  0 siblings, 1 reply; 2+ messages in thread
From: Sven Wischnowsky @ 2000-02-21  8:49 UTC (permalink / raw)
  To: zsh-workers


Peter Stephenson wrote:

> ...
> 
> The particular problem is with `menu' and `list' in _oldlist, and
> `original' in _match.  These do slightly different things to the same
> styles when used elsewhere --- this is explicit in the manual --- so that
> you need to alter the context to make the style change a different feature.
> This is a little unnatural, and more importantly for my purpose harder to
> do automatically.  I'd like to suggest, therefore, that the styles for
> these uses be renamed to old-menu, old-list and match-original (or some
> other set to be agreed upon).  Then I can simply whack them in without
> worrying about altering the context.

I think that's ok. Probably even less confusing for users anyway.

Bye
 Sven


--
Sven Wischnowsky                         wischnow@informatik.hu-berlin.de


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2000-02-21 20:03 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-02-21  8:49 Style names Sven Wischnowsky
2000-02-21 20:07 ` PATCH: " Peter Stephenson

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).