Richard Heck wrote: > No, it's bad. I'm faikrly sure there should be almost no difference > between the files if it is working correctly. Something has happend > involving this sort of thing: > > -#: src/frontends/qt4/ui/WrapUi.ui:173 src/frontends/qt4/GuiParagraph.cpp:163 > +#: src/frontends/qt4/ui/AboutUi.ui:159 > src/frontends/qt4/ui/CompareUi.ui:163
This was the original problem which I hoped would be solved, apparently the underlying cause is different than we thought. Pavel