Email Gateway (Aug 22 2022 at 13:43): Email Gateway (Aug 22 2022 at 13:43):From: Gergely Buday <gbuday@karolyrobert.hu>
Hi,
what is the standard way of feature requests on Isabelle/jEdit?
I don't know if this is possible with some setting:
when editing a bibfile, Sidekick shows the bibitem key, which is not very readable if you import it from a database like DBLP.
Could it be that Sidekick would display the title of the work? That would make the list readable and useful.
Email Gateway (Aug 22 2022 at 13:44):From: Makarius <makarius@sketis.net>
The same key shows up in a document, as argument to @{cite}
antiquotation, where it is equally unreadable.
The problem is in the database entry.
I routinely put bibtex sources into a readable form, before importing
them into my documents. I also clean up the content.
Makarius
Last updated: Apr 26 2024 at 20:16 UTC