From 0bb5dfd493ec28c6e7899c3188b5bc8bf8c62c15 Mon Sep 17 00:00:00 2001
From: Stephen Anthony <sa666666@gmail.com>
Date: Sun, 24 Mar 2019 18:07:29 -0230
Subject: [PATCH] Certain widgets in DebuggerDialog not commented out in Player
 mode.

---
 src/gui/DeveloperDialog.cxx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/gui/DeveloperDialog.cxx b/src/gui/DeveloperDialog.cxx
index a314c1719..7c6ab5efd 100644
--- a/src/gui/DeveloperDialog.cxx
+++ b/src/gui/DeveloperDialog.cxx
@@ -789,6 +789,7 @@ void DeveloperDialog::setWidgetStates(SettingsSet set)
 void DeveloperDialog::loadConfig()
 {
   bool devSettings = instance().settings().getBool("dev.settings");
+  handleSettings(devSettings);
   mySettings = devSettings;
   mySettingsGroupEmulation->setSelected(devSettings ? 1 : 0);
   mySettingsGroupTia->setSelected(devSettings ? 1 : 0);