From 7fdbc1d2b8f41dbd8830ff83c2dca66c65d295b4 Mon Sep 17 00:00:00 2001
From: wmayer <wmayer@users.sourceforge.net>
Date: Wed, 19 Sep 2018 21:30:35 +0200
Subject: [PATCH] inside display panel check if the property is part of the
 view provider

---
 src/Gui/DlgDisplayPropertiesImp.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/Gui/DlgDisplayPropertiesImp.cpp b/src/Gui/DlgDisplayPropertiesImp.cpp
index 104b1708d0..eaedaaaf21 100644
--- a/src/Gui/DlgDisplayPropertiesImp.cpp
+++ b/src/Gui/DlgDisplayPropertiesImp.cpp
@@ -151,7 +151,11 @@ void DlgDisplayPropertiesImp::slotChangedObject(const Gui::ViewProvider& obj,
         std::bind2nd(std::equal_to<Gui::ViewProvider*>(),
         const_cast<Gui::ViewProvider*>(&obj)));
     if (vp != Provider.end()) {
-        std::string prop_name = obj.getPropertyName(&prop);
+        const char* name = obj.getPropertyName(&prop);
+        // this is not a property of the view provider but of the document object
+        if (!name)
+            return;
+        std::string prop_name = name;
         if (prop.getTypeId() == App::PropertyColor::getClassTypeId()) {
             App::Color value = static_cast<const App::PropertyColor&>(prop).getValue();
             if (prop_name == "ShapeColor") {