Georg Baum wrote: > > Note that this breaks the display of caption labels _inside_ floats! > > ??? > > I did only prevent dereferencing a NULL-pointer, so that can't break > anything. If caption labels inside floats are broken now, they were broken > before. And I don't wonder that they are. Look at the comments at > that place ...
Sorry, my fault. My test case included only the caption line inside the float. I forgot that we have the bug that the label only appears after return inside a float. Jürgen