Subject: mailing-list for TeXmacs Users
List archive
From : Massimiliano Gubinelli <address@hidden>- To: texmacs-users <address@hidden>, TeXmacs developer mailing list <address@hidden>
- Cc: Slava Rychkov <address@hidden>
- Subject: Re: searching for an equation with a given label
- Date: Mon, 6 Jul 2020 14:06:18 +0200
I've done a bit of research into the source code. It seems that it is not
possible to make surface the list of references easily, it has been coded in
the C++ part, so thisl requires some changes there. There is maybe some way
to just look into the current document for all the possible labels and their
location, but in general the matter is more complex since the document could
be part of a project, so one has to scan other documents too...
Anyway, as I said, a better management of references is useful in everyday
use (look for duplicate labels, etc...) and maybe it is worth to spend some
time improving that. Someone interested? :)
Max
> On 6. Jul 2020, at 11:45, Massimiliano Gubinelli <address@hidden> wrote:
>
> I hacked up an example of how to program this kind of macros.
>
> You can run the following on a scheme prompt (inside TeXmacs)
>
> (tm-widget (form-labels cmd)
> (centered
> (aligned
> (item (text "Go to label:")
> (form-input "Label" "string" '() "1w"))))
> (bottom-buttons >> ("Ok" (go-to-label (car (form-values))) (cmd "Ok"))))
>
> (show-form form-labels)
>
> This will show you a prompt where you can ask to go to a definite label.
>
> Not perfect but this is all I got in 5 min hacking... :)
>
> Hope that this inspires better solutions. Ideally a nice solution could
> also offer a list of the available labels.
>
> Max
>
>
>
>
>> On 6. Jul 2020, at 10:58, Massimiliano Gubinelli <address@hidden> wrote:
>>
>> 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.