{fancytooltips} allows to insert tooltips into PDF documents. A tooltip is a popup window that appears if the mouse hovers or clicks particular areas.
3
votes
0answers
63 views
fancy-preview with other \ref-like commands (such as \autoref and \cref)
I finally got fancy-preview working, and I found the place (around line 97) in the script to add to the list of environments which it catches (to add propositions and so on). But what I can't find ...
1
vote
0answers
44 views
Difference between fancytooltips and fancy-preview
I read the documentation for both fancytooltips and fancy-preview here, and I don't really understand what their differences are, or when I should prefer one over the other. I see that fancytooltips ...