Gui: Use largest possible marker if needed
This is a quick and dirty fix for https://github.com/FreeCAD/FreeCAD/issues/22010 Basically if we want to use a bigger marker size than available, we use the biggest one available. This is not a good way to fix the issue - we should ensure that the marker size that the user requests is actually available - this, however, requires more significant changes to the code.
This commit is contained in:
committed by
Chris Hennes
parent
df6d148a85
commit
bf697ca710
@@ -1109,6 +1109,15 @@ void EditModeCoinManager::updateElementSizeParameters()
|
||||
if (it != supportedsizes.end()) {
|
||||
scaledMarkerSize = *it;
|
||||
}
|
||||
else {
|
||||
// This is a quick and dirty fix for https://github.com/FreeCAD/FreeCAD/issues/22010
|
||||
//
|
||||
// Basically if we want to use a bigger marker size than available, we use the biggest one
|
||||
// available. This is not a good way to fix the issue - we should ensure that the marker
|
||||
// size that the user requests is actually available - this, however, requires more
|
||||
// significant changes to the code.
|
||||
scaledMarkerSize = *supportedsizes.rbegin();
|
||||
}
|
||||
drawingParameters.markerSize = scaledMarkerSize;
|
||||
|
||||
updateInventorNodeSizes();
|
||||
|
||||
Reference in New Issue
Block a user