From ea885fb650edc4003918ee53fd6e6d7475f1e3fc Mon Sep 17 00:00:00 2001
From: Yorik van Havre <yorik@uncreated.net>
Date: Mon, 17 Dec 2018 11:22:20 -0200
Subject: [PATCH] Arch: Stored if preferences pages are loaded or not

---
 src/Mod/Arch/InitGui.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Mod/Arch/InitGui.py b/src/Mod/Arch/InitGui.py
index d7a032c6e2..33e7a0d243 100644
--- a/src/Mod/Arch/InitGui.py
+++ b/src/Mod/Arch/InitGui.py
@@ -108,6 +108,7 @@ class ArchWorkbench(Workbench):
                 FreeCADGui.addPreferencePage(":/ui/preferences-draftvisual.ui","Draft")
                 FreeCADGui.addPreferencePage(":/ui/preferences-drafttexts.ui","Draft")
                 FreeCADGui.draftToolBar.loadedPreferences = True
+            FreeCADGui.draftToolBar.loadedArchPreferences = True
         Log ('Loading Arch module... done\n')
 
     def Activated(self):