[isabelle] feature requests on Isabelle/jEdit



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.

- Gergely



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.