mailing-list for TeXmacs Users

[Massimiliano Gubinelli <address@hidden>]

It works for me. Try to create anyway a reference and then hover it with the mouse pointer, the tooltip should also appear.

Best,

Mg

On 25. Nov 2020, at 11:21, Frank <address@hidden> wrote:

Hi all,

I failed to get the same effect after loading preview-ref, smart-ref (I think that this is not necessary) and all updated. I attach a screenshot. I see that there is a small "dot" below the letter "e" and the focus box, but not a tool tip.

Best,
Frank

On 11/25/20, Basile Audoly wrote:

HI Giovanni,
Here is a short movie which illustrates this great new feature — make sure both the preview-ref and smart-ref packages are enabled.
https://www.dropbox.com/s/wnakcox99zm5mg8/smart-eqs.mov?dl=0<https://www.dropbox.com/s/wnakcox99zm5mg8/smart-eqs.mov?dl=0>
Note that I had to run Document > Update > All… to make it work.
I am not sure how to help TeXmacs resolve conflicting reference numbers, e.g., if you mean to cite section 1 and not equation 1.
Basile

Le 24 nov. 2020 à 23:35, Giovanni Piredda <address@hidden<mailto:address@hidden>> a écrit :


On 24.11.20 22:11, TeXmacs wrote:

Concerning labels, references, and citations:

  - By selecting the preview-ref style package (from Utilities), the target of references and citations are displayed in a tooltip.
  - When your cursor is just behind a label, reference, or citation, the Focus→Search menu contains several items for finding labels, references, and citations that use the same key or that are incorrect or broken.
  - When entering a reference, you may obtain the label from its numeric value. If you also selected the preview-ref package, then the target label text is shown in a preview window.

I do not understand what "obtain the label from its numeric value" means. Is it a means to have handy a list of existing labels when one is up to writing a reference? Till now, I go to where I remember the label is to recall how I spelled it (and copy it if it is long ...); if it is not that, and in case you plan to add features to this: it would be useful to have such a thing.


G.

<2020-11-25-111600_1330x336_scrot.png>