From 7a5fe3e6067aaeffa0d0134625a06f7d52cf6aea Mon Sep 17 00:00:00 2001
From: donovaly <uwestoehr@lyx.org>
Date: Thu, 25 Jul 2019 01:30:10 +0200
Subject: [PATCH] DlgSettingsGeneral.ui: hide unused option from dialog

---
 src/Mod/Part/Gui/DlgSettingsGeneral.ui | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Mod/Part/Gui/DlgSettingsGeneral.ui b/src/Mod/Part/Gui/DlgSettingsGeneral.ui
index 89d134bfd0..8e7e540da7 100644
--- a/src/Mod/Part/Gui/DlgSettingsGeneral.ui
+++ b/src/Mod/Part/Gui/DlgSettingsGeneral.ui
@@ -67,6 +67,9 @@
      <property name="title">
       <string>Object naming</string>
      </property>
+     <property name="visible">
+      <bool>false</bool>
+     </property>
      <layout class="QGridLayout" name="gridLayout_2">
       <item row="0" column="0">
        <widget class="Gui::PrefCheckBox" name="checkObjectNaming">