[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Texmacs-dev] BUG: <rubber-[d]dot-0>

From: Joris van der Hoeven
Subject: Re: [Texmacs-dev] BUG: <rubber-[d]dot-0>
Date: Fri, 23 May 2003 11:27:01 +0200 (CEST)

On 22 May 2003, Nix N. Nix wrote:
> When I create "accent above" and "accent below", and the accent is a
> <dot> or a <ddot> (and probably also a <dddot> and a <ddddot>), this is
> what I get when it must turn into a wide accent (* is the cursor):
> .
> a*
> <rubber-dot-0>
>        ab*
> Same goes for ddot and wide-under.  I think this may be a side-effect of
> the recently added horizontal braces.  Since <dot> and <ddot> do not
> stretch anyway, perhaps we should continue to simply use <[d][d][d]dot>
> for the accent, as opposed to the rubber character, no matter how wide
> it should be.
> This was the algorithm in previous TeXmacs versions (AFAICT).

This has been corrected.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]