src/Palete/ValaSource.vala

diff --git a/src/Palete/ValaSource.vala b/src/Palete/ValaSource.vala
index 6c73886..599f757 100644 (file)
--- a/src/Palete/ValaSource.vala
+++ b/src/Palete/ValaSource.vala
@@ -391,6 +391,14 @@ namespace Palete {
                                return;
                        }
                        string args[] = {};
+                       
+                       // fixme -- need a system/which
+                       
+                       args += "/usr/bin/gnome-terminal";
+                       args += "-e";
+                       args += "/usr/bin/gdb";
+                       args += "-ex=r";
+                       args += "--args";
                        args += exe;
                        if (cg.execute_args.length > 0) {
                                var aa = cg.execute_args.split(" ");