Jean-Marc Lasgouttes wrote: > The real fix is in TocWidget.cpp, where we are trying to translate a > string that is already translated. > > The change in ControlToc.h makes sure that we never call getGUIName. > > The change in ControlToc.cpp uses properly Floating::listName instead > of Floating::name.
I see! Thanks for pointing that out. OK from me. > BTW, why to we have a 'Type' label below the float type selector?? This should be removed, the more so as it breaks shortcuts in the main window. Shall I do it? Jürgen
