From 13cedefc8f7ffcfa76adde0bf19b2b8c8b185efd Mon Sep 17 00:00:00 2001
From: Christian Speckner <cnspeckn@googlemail.com>
Date: Sun, 10 Feb 2019 21:59:23 +0000
Subject: [PATCH] Fix build without debugger support.

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

diff --git a/src/gui/DeveloperDialog.cxx b/src/gui/DeveloperDialog.cxx
index 1acbdc069..db4ccc4f4 100644
--- a/src/gui/DeveloperDialog.cxx
+++ b/src/gui/DeveloperDialog.cxx
@@ -1096,7 +1096,9 @@ void DeveloperDialog::handleCommand(CommandSender* sender, int cmd, int data, in
 void DeveloperDialog::handleSettings(bool devSettings)
 {
   myUndrivenPinsWidget->setEnabled(devSettings);
+#ifdef DEBUGGER_SUPPORT
   myRWPortBreakWidget->setEnabled(devSettings);
+#endif
   myThumbExceptionWidget->setEnabled(devSettings);
 
   if (mySettings != devSettings)