Jürgen Spitzmüller wrote: > > Jurgen will know what to do, I hope: The change is needed in > > GuiDocument::loadModuleInfo(). > > Yes, I have a fix in the pipe.
Should be fixed now (rev. 27248). Jürgen
Jürgen Spitzmüller wrote: > > Jurgen will know what to do, I hope: The change is needed in > > GuiDocument::loadModuleInfo(). > > Yes, I have a fix in the pipe.
Should be fixed now (rev. 27248). Jürgen