Abdelrazak Younes wrote: > With my last patch we don't need to check explicitly for the > LABEL_SENSITIVE because everything within a float (or a wrap) will get > the label prefix, LABEL_SENSITIVE or not.
I don't think that's a good idea. There might be other things than the caption inside floats that need a different prettyref prefix, anything with a counter. I think only captions should get the fig/tab/alg prefix. Jürgen
