diff --git a/src/Gui/Document.cpp b/src/Gui/Document.cpp index 8727482312..336f7e01a0 100644 --- a/src/Gui/Document.cpp +++ b/src/Gui/Document.cpp @@ -1216,14 +1216,16 @@ void Document::Save (Base::Writer &writer) const if (writer.isForceXML() == false) { writer.addFile("GuiDocument.xml", this); - if (App::GetApplication().GetParameterGroupByPath - ("User parameter:BaseApp/Preferences/Document")->GetBool("SaveThumbnail",false)) { + ParameterGrp::handle hGrp = App::GetApplication().GetParameterGroupByPath("User parameter:BaseApp/Preferences/Document"); + if (hGrp->GetBool("SaveThumbnail", false)) { + int size = hGrp->GetInt("ThumbnailSize", 128); + size = Base::clamp(size, 64, 512); std::list mdi = getMDIViews(); for (std::list::iterator it = mdi.begin(); it != mdi.end(); ++it) { if ((*it)->getTypeId().isDerivedFrom(View3DInventor::getClassTypeId())) { View3DInventorViewer* view = static_cast(*it)->getViewer(); d->thumb.setFileName(d->_pcDocument->FileName.getValue()); - d->thumb.setSize(128); + d->thumb.setSize(size); d->thumb.setViewer(view); d->thumb.Save(writer); break;