On Wed, Aug 29, 2001 at 10:00:08PM +0300, Dekel Tsur wrote:
> > We need to figure out
> > - how \$, \{, {, \#, # etc should be typed in
> > - what color they should have on screen
>
> I suggest you keep the behavior of 1.1.6:
> pressing $, {, or # should give \$, \{ or \#, and these are drawn in blue
> Pressing \{ or \# should give { or #, and these are drawn in red.
I just had a try. This breaks almost every part of the currently pretty
simple handling in the parser, manual input and latex output. After about
30 additional lines I gave up.
That's stupid. I don't like it.
Why should I have to type '\{' if I want a '{' and a '{' if I want a '\{'?
Andre'
--
André Pönitz ............................................. [EMAIL PROTECTED]