Subject: mailing-list for TeXmacs Users
List archive
From : Massimiliano Gubinelli <address@hidden>- To: Slava Rychkov <address@hidden>
- Cc: address@hidden
- Subject: Re: searching for an equation with a given label
- Date: Mon, 6 Jul 2020 10:58:18 +0200
Dear Slava,
there are features which I also miss a lot. Your questions just confirms me
that we have something to do about them. At present I do not know any way to
perform the operation you describe. (or for example to look for duplicate
labels). You can always go into "source mode" and then look for the textual
label, but I'm not sure it will work. Alternatively just open the file in a
regular text editor (if you are desperate :)) and do a text search.
I'm sorry I cannot be more useful than that. I should say this is not a
fundamental flaw, but all the operations involving label are very
underdeveloped (looking for labels, having a list of labels,
cross-referencing, etc...).
Max
> On 6. Jul 2020, at 10:35, Slava Rychkov <address@hidden> wrote:
>
> Thanks for these answers, these are nice tricks.
>
> I have another related question: how can I look for all places which refer
> to an equation with a given label?
> In latex I would just search for `\eqref{label}'. Is there a TexMacs
> analogue?
>
> Thanks again, Slava Rychkov
>
> On 6 Jul 2020, at 08:32, Massimiliano Gubinelli <address@hidden> wrote:
>
> That's a nice observation, and probably is the way is implemented (should
> check), but anyway the interface to jump to an "immediate URL" is not there
> to my knowledge, so one still has to write some code to allow it from the
> GUI.
>
> Max
>
>
>> On 6. Jul 2020, at 08:29, Frank <address@hidden> wrote:
>>
>> Hi,
>>
>> I don't know whether it is possible to go to a URL in TeXmacs.
>>
>> If that is supported, then going to label is a special case: #labelname
>>
>> Going to URL seems more conceptual.
>>
>> Best,
>> Frank
>>
>> 于 July 6, 2020 6:24:26 AM UTC, Massimiliano Gubinelli <address@hidden> 写到:
>>> No, there is no way I know. But this trick is quite simple. There
>>> should be a way to come up with a macro which do the same job, i.e.
>>> open a window and ask a label and then moves to the label place. Maybe
>>> this could be a good exercise if somebody what to give a try.
>>>
>>>
>>> Max
>>>
>>>
>>>> On 5. Jul 2020, at 18:47, Félix Faisant <address@hidden> wrote:
>>>>
>>>> It's not very practical, but you can insert a reference where you are
>>> and click on it, and delete the reference afterwards.
>>>> I don't know if there is a better way.
>>>>
>>>> Le 5 juil. 2020 à 18:42, Slava Rychkov <address@hidden> a
>>> écrit :
>>>>
>>>>> How can I look for an equation in texmacs if I know its label?
>>>>>
>>>>> Thanks, Slava Rychkov
>>>>
>>>> ----
>>>> Félix Faisant - PGP : 0x4e4fa7aff4648355
>>>>
>>
>> --
>> 使用 K-9 Mail 发送自我的Android设备。
>
>
- searching for an equation with a given label, Slava Rychkov, 07/05/2020
- Re: searching for an equation with a given label, Félix Faisant, 07/05/2020
- Re: searching for an equation with a given label, Massimiliano Gubinelli, 07/06/2020
- Re: searching for an equation with a given label, Frank, 07/06/2020
- Re: searching for an equation with a given label, Massimiliano Gubinelli, 07/06/2020
- Re: searching for an equation with a given label, Slava Rychkov, 07/06/2020
- Re: searching for an equation with a given label, Massimiliano Gubinelli, 07/06/2020
- Re: searching for an equation with a given label, Massimiliano Gubinelli, 07/06/2020
- Re: searching for an equation with a given label, Massimiliano Gubinelli, 07/06/2020
- Re: searching for an equation with a given label, Slava Rychkov, 07/06/2020
- Re: searching for an equation with a given label, Massimiliano Gubinelli, 07/06/2020
- Re: searching for an equation with a given label, Basile Audoly, 07/07/2020
- Re: searching for an equation with a given label, Frank, 07/07/2020
- Re: searching for an equation with a given label, Basile Audoly, 07/07/2020
- Re: searching for an equation with a given label, Frank, 07/07/2020
- Re: searching for an equation with a given label, Slava Rychkov, 07/06/2020
- Re: searching for an equation with a given label, Slava Rychkov, 07/07/2020
- Re: searching for an equation with a given label, Massimiliano Gubinelli, 07/07/2020
- Re: searching for an equation with a given label, Massimiliano Gubinelli, 07/06/2020
- Re: searching for an equation with a given label, Frank, 07/06/2020
- Re: searching for an equation with a given label, Massimiliano Gubinelli, 07/06/2020
- Re: searching for an equation with a given label, Félix Faisant, 07/05/2020
Archive powered by MHonArc 2.6.19.