Subject: mailing-list for TeXmacs Users
List archive
From : Pierre-Henri Jondot <address@hidden>- To: Jeroen Wouters <address@hidden>
- Cc: texmacs-users <address@hidden>
- Subject: Re: Overline kind of accent
- Date: Tue, 26 Oct 2021 19:06:10 +0200
Thanks for these precisions, and for the bug report !
Actually, it is not clear to me that the fact that the icon inserts the short
variant of the overline is a bug, but what could be improved is the fact that
only this variant of the accent appears on the icons. It made me completely
unaware there could be a larger variant, which was exactly the one I was
looking for.
Regards,
Pierre-Henri
> Le 26 oct. 2021 à 13:25, Jeroen Wouters <address@hidden> a écrit :
>
> The icon on the toolbar (the one that shows a tilde sign) seems to
> insert a wrong type of bar tag: <bar>. The keyboard shortcut and the
> "Insert->Accent Above" menu use a <wide-bar>, which gives a good
> result. I've just reported it, with a patch:
>
> https://savannah.gnu.org/bugs/index.php?61388
>
> Typing \overline creates yet another type of bar, which might be
> intended for text rather than equations, as it only appears in the
> menus when in text mode. As you have noticed, it has problems with
> subscripts, as has been reported here:
>
> https://savannah.gnu.org/bugs/index.php?60628
>
> Best wishes,
> Jeroen
>
> On Tue, 2021-10-26 at 11:53 +0200, Pierre-Henri Jondot wrote:
>>
>>
>>> Le 26 oct. 2021 à 11:46, Alexandre Danescu
>>> <address@hidden> a écrit :
>>>
>>> Hi Pierre-Henri,
>>> I confirm the behaviour you explain when using \overline.
>>> I think the problem can be solved by using the "wide bar" in the
>>> "Insert/Accent above" menu... it seems to me that it does what you
>>> want.
>>
>> Yes, it does indeed, and there is even a shortcut for it !
>>
>> Thanks !
>>
>> Pierre-Henri
>>
>>
>
>
- Overline kind of accent, Pierre-Henri Jondot, 10/26/2021
- Re: Overline kind of accent, Alexandre Danescu, 10/26/2021
- Re: Overline kind of accent, Pierre-Henri Jondot, 10/26/2021
- Re: Overline kind of accent, Jeroen Wouters, 10/26/2021
- Re: Overline kind of accent, Pierre-Henri Jondot, 10/26/2021
- Re: Overline kind of accent, Jeroen Wouters, 10/26/2021
- Re: Overline kind of accent, Pierre-Henri Jondot, 10/26/2021
- Re: Overline kind of accent, Alexandre Danescu, 10/26/2021
Archive powered by MHonArc 2.6.19.