On Wed, Aug 08, 2001 at 07:18:02PM +0200, Andre Poenitz wrote: > > Actually, it might be a good idea to have a different color for symbols names > > that LyX knows about but can't display (like \prec). > > People are used to red... what would you suggest? Purple ?
- Re: CVS Update: lyx-devel Mike Ressler
- Re: CVS Update: lyx-devel Garst R. Reese
- Re: CVS Update: lyx-devel Juergen Vigna
- Re: CVS Update: lyx-devel Kayvan A. Sylvan
- Re: CVS Update: lyx-devel Juergen Vigna
- RE: CVS Update: lyx-devel Juergen Vigna
- RE: CVS Update: lyx-devel Juergen Vigna
- Re: CVS Update: lyx-devel John Levon
- Re: CVS Update: lyx-devel Dekel Tsur
- Re: CVS Update: lyx-devel Andre Poenitz
- RE: CVS Update: lyx-devel Dekel Tsur
- RE: CVS Update: lyx-devel Juergen Vigna
- Re: CVS Update: lyx-devel Dekel Tsur
- Re: CVS Update: lyx-devel Juergen Vigna
- Re: CVS Update: lyx-devel Dekel Tsur
- Re: CVS Update: lyx-devel John Levon
- Re: CVS Update: lyx-devel Andre Poenitz
- Re: CVS Update: lyx-devel John Levon
- Re: CVS Update: lyx-devel John Levon
- Re: CVS Update: lyx-devel John Levon
- Re: CVS Update: lyx-devel Angus Leeming