diff --git a/src/Gui/propertyeditor/PropertyItem.cpp b/src/Gui/propertyeditor/PropertyItem.cpp index 1e1067f8bf..02d541b485 100644 --- a/src/Gui/propertyeditor/PropertyItem.cpp +++ b/src/Gui/propertyeditor/PropertyItem.cpp @@ -25,6 +25,7 @@ #ifndef _PreComp_ # include +# include # include # include # include @@ -32,8 +33,6 @@ # include # include # include -# include -# include # include # include #endif @@ -2927,7 +2926,7 @@ QWidget* PropertyEnumItem::createEditor(QWidget* parent, const QObject* receiver field = field.trimmed(); auto it = children->end(); if (field.isEmpty()) { - if (children->size()) + if (!children->empty()) --it; else continue;