>>>>> "Jürgen" == Jürgen Spitzmüller <[EMAIL PROTECTED]> writes:
Jürgen> The attached patch seems the most easiest way to implement
Jürgen> this. Comments?
I'd rather do:
- if (layout->labeltype == LABEL_SENSITIVE) {
+ if (cur.innerInsetOfType(InsetBase::CAPTION_CODE) || layout->labeltype
== LABEL_SENSITIVE) {
JMarc
