Recently tried updating from JabRef 5.9 to 5.10 and quickly noticed a change that I don’t see reported in the list of changes.
Under 5.9, ‘All Entries’ under Filter groups reported the precise numbers of entries in my very large (>11,700 entries) bibliography.
Under 5.10, ‘All Entries’ reports as 11.7K - a serious loss in precision considering that I’ve noticed several errors converting from BibDesk in the single digits differences in number of entries.
Is there a way to restore the previous behavior/precision? What is the justification of such a change?
Currently I’ve rolled back to 5.9 since I need to be able to trust the counts as I continue to tune my conversion code.
However, I followed the link below, and searched the docs and I have yet to find a clear explanation of what is meant by a ‘tooltip’. I suspect this is an application-specific use of this term.
what I don’t understand: why is the widget not made bigger so more digits fit inside? Then no tooltip is needed and all digits are shown.
There is room enough to enlarge it and even the left panel can be resized by the user.
what I don’t understand: why is the widget not made bigger so more digits fit inside? Then no tooltip is needed and all digits are shown.
This was technically not feasible as the display was also dependent on the font size/scaling and, unfortunately, not all of JabRef’s GUI is correctly working with scaling.