From 0a67a390653463390f0ab9bc0abdf24be62e607b Mon Sep 17 00:00:00 2001 From: Uwe Date: Fri, 22 Jul 2022 02:09:25 +0200 Subject: [PATCH] [Gui] [skip CI] Selection: a formatting style fix --- src/Gui/Selection.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Gui/Selection.h b/src/Gui/Selection.h index 4400d16de4..bd3a96bd65 100644 --- a/src/Gui/Selection.h +++ b/src/Gui/Selection.h @@ -102,7 +102,8 @@ public: pDocName = Object.getDocumentName().c_str(); pObjectName = Object.getObjectName().c_str(); pSubName = Object.getSubName().c_str(); - if(typeName) TypeName = typeName; + if (typeName) + TypeName = typeName; pTypeName = TypeName.c_str(); }