Index: src/gui/debugger/dbg_wnds.c
===================================================================
--- src/gui/debugger/dbg_wnds.c	(revision 2764)
+++ src/gui/debugger/dbg_wnds.c	(revision 2767)
@@ -7,7 +7,7 @@
  *  Copyright (c) 2001-2003, Romain Lievin
  *  Copyright (c) 2003, Julien Blache
  *  Copyright (c) 2004, Romain Liévin
- *  Copyright (c) 2005-2007, Romain Liévin, Kevin Kofler
+ *  Copyright (c) 2005-2008, Romain Liévin, Kevin Kofler
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -265,6 +265,10 @@
 	engine_start();
 #endif
 	gtk_debugger_close();
+	// Stop the engine before calling gtk_main_quit.
+	// Otherwise, it will keep running even when it is supposed to have
+	// been stopped by the debugger.
+	engine_stop();
 	if(options3.dbg_dock)
 		gtk_widget_destroy(dbgw.dock);
 
Index: src/gui/debugger/dbg_all.c
===================================================================
--- src/gui/debugger/dbg_all.c	(revision 2764)
+++ src/gui/debugger/dbg_all.c	(revision 2767)
@@ -7,7 +7,7 @@
  *  Copyright (c) 2001-2003, Romain Lievin
  *  Copyright (c) 2003, Julien Blache
  *  Copyright (c) 2004, Romain Liévin
- *  Copyright (c) 2005-2007, Romain Liévin, Kevin Kofler
+ *  Copyright (c) 2005-2008, Romain Liévin, Kevin Kofler
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -164,7 +164,7 @@
 
 			ti68k_bkpt_get_pgmentry_offset(id, &handle, &offset);
 			ti68k_bkpt_del_pgmentry(handle);
-			if(GTK_WIDGET_VISIBLE(dbgw.bkpts))
+			if(options3.dbg_dock || GTK_WIDGET_VISIBLE(dbgw.bkpts))
 				dbgbkpts_refresh_window();
 
 			delete_command(NULL, 0);
Index: ChangeLog
===================================================================
--- ChangeLog	(revision 2764)
+++ ChangeLog	(revision 2767)
@@ -1,5 +1,9 @@
 SubVersion: $Id$
 
+- 12/02/2008, version 3.03:
+	- [kevin] $2765: fixed crash when debugging TIGCC program with GDB with low-level debugger in dock mode
+	- [kevin] $2766: fixed dock window enabling/disabling not to keep the engine running across the restart
+
 - 16/09/2007, version 3.02:
 	- [roms]  $2646: screenshots can be copied into the clipboard
 	- [roms]  $2649: use fixed fonts for release and manpage dboxes