Bo Peng wrote:
> Thank you very much! I thought of this as well but did not gather
> enough time to think about it.
>
> I vote yes to put it in except that the trunk is broken now so I can
> not test your patch.
Please do if trunk works again, and report back.
Known issues:
- The listings are put to the navigation menu, but on the top level, an empty
string is shown (in the TOC widget, everything looks correct).
- We might use non-ERT font for the caption
- missing \lstlistoflistings inset (not urgently needed now).
- In the dialog, the caption and label widget need to be erased. I trust Edwin
will do this.
Incidentally,
I do "caption={[short title]long title\label{label}}" instead
of "caption={[short title]long title},label=label", because it is much easier
to implement, and it works likewise.
Jürgen
