From 00a5a4941600ffe0acfde2d7015df33e1604c0dc Mon Sep 17 00:00:00 2001
From: wmayer <wmayer@users.sourceforge.net>
Date: Sun, 3 Mar 2019 22:49:24 +0100
Subject: [PATCH] hide some controls from preferences pages that are not
 implemented yet

---
 src/Gui/DlgEditorImp.cpp        | 2 ++
 src/Gui/DlgSettingsMacroImp.cpp | 5 +++++
 2 files changed, 7 insertions(+)

diff --git a/src/Gui/DlgEditorImp.cpp b/src/Gui/DlgEditorImp.cpp
index 7cf4ec8f02..4ff7c225d2 100644
--- a/src/Gui/DlgEditorImp.cpp
+++ b/src/Gui/DlgEditorImp.cpp
@@ -57,6 +57,8 @@ DlgSettingsEditorImp::DlgSettingsEditorImp( QWidget* parent )
   : PreferencePage( parent )
 {
     this->setupUi(this);
+    this->EnableFolding->hide(); // Switch off until we have an editor with folding
+
     d = new DlgSettingsEditorP();
     QColor col;
     col = Qt::black; 
diff --git a/src/Gui/DlgSettingsMacroImp.cpp b/src/Gui/DlgSettingsMacroImp.cpp
index 496d563092..6160f5702b 100644
--- a/src/Gui/DlgSettingsMacroImp.cpp
+++ b/src/Gui/DlgSettingsMacroImp.cpp
@@ -38,6 +38,11 @@ DlgSettingsMacroImp::DlgSettingsMacroImp( QWidget* parent )
   : PreferencePage( parent )
 {
     this->setupUi(this);
+
+    // Was never implemented, so hide it
+    this->FileLogCheckBox->hide();
+    this->MacroPath_2->hide();
+
     if (MacroPath->fileName().isEmpty()) {
         QDir d(QString::fromUtf8(App::GetApplication().getUserMacroDir().c_str()));
         MacroPath->setFileName(d.path());