Since we use the number theme, it is very hard to remember, which reference is which number. E.g., [5]. What reference is it? This especially gets harder when many referenced are used.
Therefore, I propose to add an additional tooltip (or to integrate the reference text in the existing tooltip) when hovering over a reference.
Since we use the number theme, it is very hard to remember, which reference is which number. E.g.,
[5]
. What reference is it? This especially gets harder when many referenced are used.Therefore, I propose to add an additional tooltip (or to integrate the reference text in the existing tooltip) when hovering over a reference.