From e0429ac6f0a92c7d62808fc2c9685793f6cd27c1 Mon Sep 17 00:00:00 2001
From: Vadim Lopatin <coolreader.org@gmail.com>
Date: Tue, 17 May 2016 10:26:23 +0300
Subject: [PATCH] settings: use mago-mi for debugging on Windows

---
 src/dlangide/ui/settings.d           |  6 +++++-
 src/dlangide/workspace/idesettings.d | 12 ++++++++++--
 2 files changed, 15 insertions(+), 3 deletions(-)

diff --git a/src/dlangide/ui/settings.d b/src/dlangide/ui/settings.d
index 08bf2cd..5da7189 100644
--- a/src/dlangide/ui/settings.d
+++ b/src/dlangide/ui/settings.d
@@ -72,7 +72,11 @@ SettingsPage createSettingsPages() {
     rdmd.addExecutableFileNameEdit("dlang/rdmd/executable", UIString("rdmd executable"d), "rdmd");
     rdmd.addStringEdit("dlang/rdmd/additional_params", UIString("rdmd additional params"d), "");
     SettingsPage ddebug = dlang.addChild("dlang/debugger", UIString("Debugger"d));
-    ddebug.addExecutableFileNameEdit("dlang/debugger/executable", UIString("Debugger executable"d), "gdb");
+    version (Windows) {
+        ddebug.addExecutableFileNameEdit("dlang/debugger/executable", UIString("Debugger executable"d), "gdb");
+    } else {
+        ddebug.addExecutableFileNameEdit("dlang/debugger/executable", UIString("Debugger executable"d), "mago-mi");
+    }
     SettingsPage terminal = dlang.addChild("dlang/terminal", UIString("Terminal"d));
     terminal.addExecutableFileNameEdit("dlang/terminal/executable", UIString("Terminal executable"d), "xterm");
 
diff --git a/src/dlangide/workspace/idesettings.d b/src/dlangide/workspace/idesettings.d
index ed9cedd..73d2f3a 100644
--- a/src/dlangide/workspace/idesettings.d
+++ b/src/dlangide/workspace/idesettings.d
@@ -28,7 +28,11 @@ class IDESettings : SettingsFile {
         ui.setIntegerDef("hintingMode", 1);
         ui.setIntegerDef("minAntialiasedFontSize", 0);
         ui.setFloatingDef("fontGamma", 0.8);
-        debuggerSettings.setStringDef("executable", "gdb");
+        version (Windows) {
+            debuggerSettings.setStringDef("executable", "mago-mi");
+        } else {
+            debuggerSettings.setStringDef("executable", "gdb");
+        }
         terminalSettings.setStringDef("executable", "xterm");
         dubSettings.setStringDef("executable", "dub");
         dubSettings.setStringDef("additional_params", "");
@@ -175,7 +179,11 @@ class IDESettings : SettingsFile {
     }
 
     @property string debuggerExecutable() {
-        return debuggerSettings.getString("executable", "gdb");
+        version (Windows) {
+            return debuggerSettings.getString("executable", "mago-mi");
+        } else {
+            return debuggerSettings.getString("executable", "gdb");
+        }
     }
 
     @property string terminalExecutable() {